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.
trx is a toolset for broadcasting live audio from Linux. It sends and receives encoded audio over IP networks, via a soundcard or audio interface, and can be used for point-to-point audio links or multicast (e.g., private transmitter links or audio distribution). High-quality wideband audio (such as music) can be sent with low latency and fast recovery from dropouts.
KwaMoja is a system that helps you manage your business in a more efficient and profitable manner. It offers multi-currency sales orders, accounts receivable, purchase orders, and accounts payable, a tendering module, multiple inventory locations, unlimited price lists by customer and currency, standard and reversing journals, general ledger journals for all transactions in accounts receivable and payable, standard costing, user definable sales analysis reports, standard cost stock valuation and stock planning reports, a manufacturing module including work orders and MRP, a fixed asset register, a petty cash module, and serialized inventory and lot tracking.
The Clacks Framework enables implementators to abstractly manage infrastructure entities, such as users, groups, machines and structure items. These are freely defineable and mappable to various backends like LDAP or MongoDB. Additionally it can handle joined clients, collect inventory data, and manage these clients in various ways. All information, API, and events are exposed on an AMQP message bus, and can be used by shell scripts, Web GUIs, etc.
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.