Agena is an interpreted procedural programming language.
Proof Logic : A logical framework for theorem proving
A Java VM for ARDUINO and other micros using the leJOS runtime.
Brandy is an interpreter for BBC Basic
scientific programming language and graphics
The Advanced Algebraic Language.