Simple struct storage system, database library and engine.
Proof Logic : A logical framework for theorem proving
Perl extension for the GNU Readline/History Library
Implementation of LZW compression algorithm in C
Utility to show live progress, status & stats for running simulations
A set of C libraries to implement data structures and algorithms
An analysis tool showing the structure of a C program
Binary Diff and Undiff Utility
Translator from restricted matlab to C
Restore/upgrade firmware of iOS devices
A simple logging library implemented in C99
Unleashing the potentials of types and templates
Extended C Library
Ada cross compiler and libraries for AVR µCs
Relational Database Management System
A machine code manipulation library for Intel 64 and IA-32.