Tool support for the Z formal notation
Agena is an interpreted procedural programming language.
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
A Java VM for ARDUINO and other micros using the leJOS runtime.
Scheme Interpreter implemented in Java
Simulation tool for the casino game Roulette
Computer calculations made easy
Brandy is an interpreter for BBC Basic
scientific programming language and graphics
Math Parser for Java
Python2.7.3 for android