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