Goal-directed answer-set programming
A lisp system for embedded systems.
A small, self-hosting 16bit Forth system
Go to github.com/vlm/asn1c for the latest version.
WIttgen is a two-instruction programming language modeled on the mind.
z390 Portable Mainframe Assembler and Emulator