Agena is an interpreted procedural programming language.
Tool support for the Z formal notation
Pequeño IDE para el lenguaje JMEScript.
NARS2000: An Experimental APL Interpreter
Evaluador de expresiones matemáticas para Java en español
Proof Logic : A logical framework for theorem proving
Expression evaluator for Delphi developers
Computer calculations made easy
RCL, a simulator for Texas Instrument calculators from the 70's.
Math Parser for Java
Python2.7.3 for android
Lambda Calculus Interpreter for Android
Repository has been moved to: http://dtitov.github.com/bracer
The Advanced Algebraic Language.
Parsing for everybody.