Declarative rich internet application platform
ATasm is a 6502 command-line cross-assembler.
C for programmable guitar amp
A fast, portable, simple, and free C/C++ IDE
Simple struct storage system, database library and engine.
Proof Logic : A logical framework for theorem proving
Perl extension for the GNU Readline/History Library
Mixed Integer Linear Programming (MILP) solver.
Implementation of LZW compression algorithm in C
Pointer Lock for Java AWT/Swing
Real-time interactive 3D graphics API for scientific simulations
Utility to show live progress, status & stats for running simulations
A set of C libraries to implement data structures and algorithms
R7RS Scheme scripting engine
An analysis tool showing the structure of a C program