Tool support for the Z formal notation
object orientated scripting language
DPDL (Dynamic Packet Definition Language) is a small framework library
eXist-db is a feature rich Open Source native XML database
Scheme Interpreter implemented in Java
An object-oriented script language to embed in any application
A Logo interpreter and programming environment specialized for schools
Java Internet Prolog (Moved to GitHub)
foundation of the General Intelligence Operating System
A 100% Java Warren Abstract Machine implementation.
Repository has been moved to: http://dtitov.github.com/bracer