!!! NO LONGER MAINTAINED !!!
Basic interpreter in ANSI C
proof verifier for mathematical proofs and documentation generator
Woas is a complete wiki in a single HTML file, forked from stickwiki.
Modern BASIC like language that converts code into PHP
Library implementing basic data structures like stacks, queues, etc
Basic C toolkit for new ideas
Extremely simple joystick rumble / vibration library
Object relational mapper
gtk editor for systemverilog