Small Clojure interpreter, linter and formatter
Tool support for the Z formal notation
Java Internet Prolog (Moved to GitHub)
A simple BASIC interpreter written in C++
Converts (packages) Python programs into stand-alone executables
A Critic for APIs and Libraries
SBI - A Small Bytecode Intepreter to run programs on an AVR from SD
AMOS BASIC reimplementation in Java