Tool support for the Z formal notation
Expert System Tool
eXist-db is a feature rich Open Source native XML database
A native Windows port of the GNU Compiler Collection (GCC)
MIPS processor in Java
Java Internet Prolog (Moved to GitHub)
A 100% Java Warren Abstract Machine implementation.
AMOS BASIC reimplementation in Java