Tool support for the Z formal notation
Pequeño IDE para el lenguaje JMEScript.
Evaluador de expresiones matemáticas para Java en español
Computer calculations made easy
Math Parser for Java
Lambda Calculus Interpreter for Android
Repository has been moved to: http://dtitov.github.com/bracer