Agena is an interpreted procedural programming language.
Proof Logic : A logical framework for theorem proving
Tools to create and run scripts managing special kind of windows
A lisp system for embedded systems.
Multi-User Database Interpreted BASIC Environment