Agena is an interpreted procedural programming language.
Tools to create and run scripts managing special kind of windows
Next Scripting Framework (NSF)
A new, fast and powerful system shell! Written in pure C!
Proof Logic : A logical framework for theorem proving
A native Windows port of the GNU Compiler Collection (GCC)
A fast programming language combining old features with new.
A lisp system for embedded systems.
Multi-User Database Interpreted BASIC Environment