Jainja is a JVM (Java Virtual Machine) written in Java
Delphi : VRCalc++ OOSL & + (Paged List, TextEditor, VRAstroVision ...)
Pequeño IDE para el lenguaje JMEScript.
Java Internet Prolog (Moved to GitHub)
A 100% Java Warren Abstract Machine implementation.
Lambda Calculus Interpreter for Android
Repository has been moved to: http://dtitov.github.com/bracer
Kammerjäger is a debugging tool with integrated correctness proving.