Tool support for the Z formal notation
Delphi : VRCalc++ OOSL & + (Paged List, TextEditor, VRAstroVision ...)
Delphi Java - VRCalc++ OOSL (Script) and + (Binary Exec Distro)
Run BeanShell scripts by double-clicking them
Java-based Dialect of the Unicon Programming Language
Java Internet Prolog (Moved to GitHub)
A Critic for APIs and Libraries
An IDE for the programming language whitespace.
AMOS BASIC reimplementation in Java
Kammerjäger is a debugging tool with integrated correctness proving.