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
A Java VM for ARDUINO and other micros using the leJOS runtime.
Learning programming language for kids
Java-based Dialect of the Unicon Programming Language
Java Internet Prolog (Moved to GitHub)
A Critic for APIs and Libraries
Kammerjäger is a debugging tool with integrated correctness proving.