Proof Logic : A logical framework for theorem proving
Relational Database Management System
Perform dynamic tunings for realtime music.
A Java VM for ARDUINO and other micros using the leJOS runtime.
A simple scripting language for embedded C code.
Loglan language and Virtual Loglan Processor repository
Tight VM
Brandy is an interpreter for BBC Basic