Simple struct storage system, database library and engine.
Proof Logic : A logical framework for theorem proving
Mixed Integer Linear Programming (MILP) solver.
Implementation of LZW compression algorithm in C
Utility to show live progress, status & stats for running simulations
An analysis tool showing the structure of a C program
Binary Diff and Undiff Utility
Fast easy to learn editor since 1984
Translator from restricted matlab to C
A Portable Library for Code Execution
A framework for developing emulators
Restore/upgrade firmware of iOS devices
A socket daemon to multiplex connections from and to iOS devices