Pure functional language based on function composition rather than application; concatenative language, very like Forth, inputs and outputs stacks, but with higher-level data types and sound mathematical foundation. [Open Source, BSD]
A large collection of symbolic processing projects designed and implemented in Pascal, with heavy emphasis on backtracking. Topics include parsers, translators, compilers, interpreters, and theorem provers.