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.
RoseThorn is a cross-platform library for 2D and 3D games running on GNU/Linux (and possibly other Unix-like OSes) and Windows. Features include: hardware accelerated 2D and 3D rendering; Ogg and WAV Sound support with OpenAL; Lua scripting; BMP, JPEG, and PNG image loading and saving (from screenshots); easily created and modified user interfaces with XML and CSS, combined with Lua event handling; separate 2D and 3D libraries; support for multiple fonts in both TTF and bitmap formats; support for OBJ, 3DS, MD5, and RTM model formats; skeletal animation (a work in progress); support for UDP and TCP networking; thread and mutex support; a Simple Shader API; 2D animated sprites; and some basic cryptography support. There is simple event management, with key/mouse bindings easily customized from the in-game console, config file, command line, or GUI.
Dough is a personal budgeting application. It's designed to be both simple and attractive whilst being very effective at helping you keep in control of your spending. It features an attractive, to the point user interface with plenty of visual elements. It has many options for filtering and searching transactions, can import your bank statements, and you can make graphs of pretty much anything.
Symbiose is a WebOS, a Web desktop which is accessible from any Web browser. It works like Linux, using the same filetree, UI management, software update system, and commands (ls, cd, etc.). It offers file management (sending/downloading, basic operations, copy-and-paste, drag-and-drop, etc.), a text editor with syntax highlighting and automatic indentation, a music and video player, a word processor, an archive manager, management of system parameters (such as appearance, users, quotas, interfaces, and software sources), a software center, an updates manager similar to apt-get, FTP server, DropBox, and Google Drive mounting (with integration of these services in Symbiose storage), and more.
Nova is a software application for preventing and detecting hostile network reconnaissance (such as nmap scans). It does this by first creating the Haystack: a large collection of low interaction honeypots using an updated version of Honeyd. Finding real machines on the network becomes like finding a needle in a haystack of fake machines. Second, Nova uses machine learning algorithms to automatically detect and classify attempts at hostile reconnaissance, so there's no need to go searching manually through your honeypot's log files. It provides an easy to use Web-based interface powered by Node.js to configure itself and Honeyd instances.