Agena is an interpreted procedural programming language.
Advanced TECO dialect and interactive screen editor based on Scintilla
A new, fast and powerful system shell! Written in pure C!
Proof Logic : A logical framework for theorem proving
Building a FORTH in C for practice.
Text scraping and data munging language.
Goal-directed answer-set programming
The Advanced Algebraic Language.
A Tcl extension providing a [diff] command