Declarative rich internet application platform
A GTK-3 widget to display data
ATasm is a 6502 command-line cross-assembler.
Simple struct storage system, database library and engine.
Proof Logic : A logical framework for theorem proving
A small C compiler
Perl extension for the GNU Readline/History Library
Mixed Integer Linear Programming (MILP) solver.
LabVIEW VIs for ZLib compression and Base64/binhex encoding
Implementation of LZW compression algorithm in C
Pointer Lock for Java AWT/Swing
Real-time interactive 3D graphics API for scientific simulations
Twitter Image Pipeline is a robust and performant image loading
Utility to show live progress, status & stats for running simulations
ruby bindings to libgit2
A set of C libraries to implement data structures and algorithms
Compiler for the C programming language
R7RS Scheme scripting engine