Tool support for the Z formal notation
An object-oriented script language to embed in any application
Java Internet Prolog (Moved to GitHub)
An IDE for the programming language whitespace.
AMOS BASIC reimplementation in Java
Kammerjäger is a debugging tool with integrated correctness proving.