Klest-crossword is a program for creating crossword puzzles. It comes with more than 1000 puzzles and dictionaries of 31000 Russian words and 41000 English words. Incompletely guessed puzzles can be saved, and crosswords can be compiled automatically and semi-automatically. Crosswords can be printed, and exported as RTF, PDF, PostScript, HTML, Across Lite, JPG, JPEG, TIFF, BMP, XPM, PNG, XBM, PPM, and OpenKlest, and imported from Across Lite and OpenKlest.
Klen-library is a program for creating electronic books. It consists of three modules, for editing books, reading books, and creating tests. It offers password protection of every book and the editing mode. The print function makes it self-sufficient, as it allows creation of books without using third-party text editors. It uses SQLite, so you don't have to install a database server. It can export to the XWB, HTML, TXT, PDF, PostScript, and RTF formats, and can import from XWB, HTML, and TXT.
O2OO reads sensor data from a car into a sqlite database and generates graphs of the data so you can analyze the behavior of the car. It can also retrieve the location from a GPS module and store it in the same database, then can create a Google Maps KML-file, coloring the route line with a color depending on a sensor reading.
Verish is a language for reasoning that resembles a natural language. It is equivalent to Lower Predicate Calculus, and has a built-in framework for defining and using abbreviations, and for introducing additional principles of reasoning that can be automatically expanded into a sequence of steps that use only basic principles of reasoning. It has a basic reasoning checking function, and can automatically expand one additional principle of reasoning into a sequence of steps using only the basic principles. It can also add HTML markup to a proof for display as a Web page.