Proof Logic : A logical framework for theorem proving
Pointer Lock for Java AWT/Swing
Development of useful third-party libraries for use with SDL 2.0
Binary Diff and Undiff Utility
A framework for developing emulators
Extended C Library
Testing Framework for C and C++
Yet Another Diff Tool
Low-Level Game Engine for Retro Platforms
Parallel simulators for Membrane Computing on the GPU
X11 developer's 'workbench' and lightweight toolkit API
A library to handle coroutine and green thread in C
The best library to work with .Net Assemblies in any programming lang.
C++ CASE tool, full life cycle code generator
Cross-platform 6502 assembler
A "Just Enough Language" compiler targeting the 6502/Z80/6809
Parser generator, targetting C, C++, Python, JavaScript, JSON and XML
Programmed Dialogue with Interactive Programs
Powerful search library, best suited for computer-aided translation
Random data generator: secure character streams and large files
A native Windows port of the GNU Compiler Collection (GCC)