no stinking loops
WOLF! (Andrew Chase)
Late Additions
Tableau Systems (K3)
Term-Rewriting
Primitive and General Recursion
Odds and Ends
The Hypergrid Project on Github
Languages
Implementations
Tools
Data
Applications
Techniques
Logic
Automata
Diversions
John Harrop's Ray-Tracer
Vector Papers
Agitprop
Oulipo in K
K9 (deprecated)
K7 (deprecated)
Deprecated