Tool support for the Z formal notation
Pequeño IDE para el lenguaje JMEScript.
Evaluador de expresiones matemáticas para Java en español
A Java VM for ARDUINO and other micros using the leJOS runtime.
Scheme Interpreter implemented in Java
Computer calculations made easy
Math Parser for Java
Lambda Calculus Interpreter for Android
Query, integrate and manipulate data using natural languages.
Repository has been moved to: http://dtitov.github.com/bracer