TCD is a CD player with an ncurses based interface.,

You are a young blockling who must stack blocks to reach the exit in successive levels in this Linux/Mac/Windows puzzle-platformer!

You are a young blockling who must stack blocks to reach the exit in successive levels in this Linux/Mac/Windows puzzle-platformer!

The Abstract Input System (AIS) is an input system written in C++ which aims to abstract away as many types of input devices possible and add additional features not typically present in a traditional input system.

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....

NWShader is a wrapper for the game Neverwinter Nights (by Bioware), to support enhanced OpenGL features, especially post-processing using nVidia CG toolkit.

The main goal of NWShader is to run fullscreen and material shaders within NWN.

NWShader is a wrapper for the game Neverwinter Nights (by Bioware), to support enhanced OpenGL features, especially post-processing using nVidia CG toolkit.

The main goal of NWShader is to run fullscreen and material shaders within NWN.

Parity is a utility to compile native Windows executables and shared libraries from a UNIX like Environment like Microsoft SUA, while using a GCC like frontend. It provides various features, not available on windows normally (runpaths, preloading, et

Parity is a utility to compile native Windows executables and shared libraries from a UNIX like Environment like Microsoft SUA, while using a GCC like frontend. It provides various features, not available on windows normally (runpaths, preloading, et

Conan - Connection analyzer for Qt is a C++ library that provides visual run-time introspection of QObject hierarchies, QObject inheritance, signal/slot connections, and signal emissions.

Its main use is to help you track down problems related to signal/slot connections....