Tool support for the Z formal notation
eXist-db is a feature rich Open Source native XML database
emscripten'ed MRI
IDLE Extensions
Dynamic Python binding for Qt Applications
Java Internet Prolog (Moved to GitHub)
Open Design and Integration Environment
Graph algorithms interpreter, IDE, debugger, 3D visualizations.
dependently typed functional programming language
AMOS BASIC reimplementation in Java