A collection of machine-checkend mathematical proofs
Translator from restricted matlab to C
toolchain for obfuscated compilation
Another School Management System
A beautiful design and useful project
A collection of GnuCOBOL programs
Cygwin cross-compiler for Fedora
Clients for building books with EpubPress
Scriptable database and system performance benchmark
Object Oriented tools for C
Prolog to C compiler with runtime for DOS, Windows and Raspbian
Ada cross compiler and libraries for AVR µCs
Static code analysis for Freepascal
A set of minimal dependency bootstrap binaries
Repurposing existing HDL tools to help writing better code
Run programs faster anywhere
Ada Fonts is a minimalistic example of using freetype fonts in OpenGL
Shell script compiler