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.
Expression evaluator for Delphi developers
Scheme Interpreter implemented in Java
Simulation tool for the casino game Roulette
Computer calculations made easy
RCL, a simulator for Texas Instrument calculators from the 70's.
Brandy is an interpreter for BBC Basic
scientific programming language and graphics
Math Parser for Java