Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.
The Mana World (TMW) is a serious effort to create an innovative free and open source MMORPG. It uses 2D graphics and aims to create a large and diverse interactive world. The game aims to be a unique place for people to interact not only by fighting each other but to play life, form a community within the community, or just simply chat. Although the game is never-ending and a linear story cannot be applied, it should have enough background to describe and predefine tribes, kingdoms, and the environment overall. Fullfilled quests should lead to certain events depending on them being solved. Quests should also encourage teamwork.
Choria is a game set in the land of chores. It is a 2D MMORPG in 800x600 with 3D accelerated graphics. Its features include doing chores, slaying monsters, killing goblins, getting great loot, earning money for college, and vacuuming virtual carpet. You can play with builds that include up to 30 different skills. PVP play is open and always available.
faces is a powerful and flexible project management tool. It not only offers many extraordinary features like multiple resource balancing algorithms and multi scenario planing, but can also be easily extended and customized. Faces consists of a Python class framework and a graphical front-end.
wxDesigner is a dialog editor and RAD tool for the wxWindows C++ library and its popular Python and Perl bindings. It includes a visual dialog editor, a bitmap editor, a syntax-highlighting source editor, and built-in mechanisms for automatic generation of file skeletons, GUI classes, event handlers, and getter functions. It provides an identical user interface and identical functionality for C++, Perl, and Python, and it can generate output in C++, Python, Perl, and XML.
SPTK (Simply Powerful Toolkit) is a cross-platform toolkit that provides a set of C++ classes for fast and easy application development. It provides GUI components that use FLTK, and features database support with seamless connection to GUI components. There are drivers for use of SQLite and PostgreSQL directly, as well as support for other database engines through UnixODBC. SPTK includes many classes for working with strings, dynamic arrays, and maps, and is faster and has a smaller footprint than STL. It also supports reading, writing, and creating Excel 7 files, high-level GUI components with dataset support, support for automatic layouts, and support for Aspell.
wyoEditor is a cross-platform editor based on the Scintilla editor component. The editor has the usual features like fast editing, unlimited undo/redo, syntax colouring, and folding for many different programming languages. It also has a class browser, currently only for C++, and keeps the class/function display updated. The editor allows editing of files in tabbed notebook pages and/or separate top level windows. It supports context-sensitive help of any kind of documentation (e.g. programming framework descriptions) if provided as help files. The editor conforms to the wyoGuide guidelines using the wxWidgets framework.
Synopsis is a multi-language source code introspection tool that provides a variety of representations for the parsed code to enable further processing such as documentation extraction, reverse engineering, and source-to-source translation. It provides a framework of C++ and Python APIs to access these representations and allows Processor objects to be defined and composed into processing pipelines, making this framework very flexible and extensible.
The aim of auch (audio-checker) is to visualize music. It takes audio from the microphone and uses it to simulate an elastic and vibrating surface (chladni-tranform) or the reflection of such a surface (makyoh-transform). Many more transforms can be activated by unlocking the interactive shell.