Delphi : VRCalc++ OOSL & + (Paged List, TextEditor, VRAstroVision ...)
A cross-platform interpreter for many point-and-click adventure games
Java Internet Prolog (Moved to GitHub)
A 100% Java Warren Abstract Machine implementation.
Python2.7.3 for android
Repository has been moved to: http://dtitov.github.com/bracer
Kammerjäger is a debugging tool with integrated correctness proving.