Tool support for the Z formal notation
Delphi : VRCalc++ OOSL & + (Paged List, TextEditor, VRAstroVision ...)
Learning programming language for kids
A native Windows port of the GNU Compiler Collection (GCC)
MIPS processor in Java
Implementierung von ProLern für Android
A Logo interpreter and programming environment specialized for schools
Java Internet Prolog (Moved to GitHub)
ASTRA is an implementation of AgentSpeak(TR)
Enseñanza programación estructurada concurrente español inicial
A Critic for APIs and Libraries
Lambda Calculus Interpreter for Android
AMOS BASIC reimplementation in Java
Repository has been moved to: http://dtitov.github.com/bracer