Tool support for the Z formal notation
The GNU Prolog native compiler
Interpreter and compiler for the Seed7 programming language.
A Java VM for ARDUINO and other micros using the leJOS runtime.
MIPS processor in Java
BCPL was designed by Martin Richards at Cambridge University (1966)
An object-oriented script language to embed in any application
Java Internet Prolog (Moved to GitHub)
Graph algorithms interpreter, IDE, debugger, 3D visualizations.
miniasm is a short bytecode based assebler, interpreter and compiler
A Compiler Development Toolkit
An IDE for the programming language whitespace.
Poe is a small, fast, flexible scripting language.
AMOS BASIC reimplementation in Java