no stinking loops

WOLF! (Andrew Chase)

Late Additions

Tableau Systems (K3)

Term-Rewriting

Primitive and General Recursion

Odds and Ends

A Ray-Tracer in 7 Lines of K

A ray-tracer in 7 lines

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

Rhys Hughes Story Grid

K9 (deprecated)

K7 (deprecated)

Deprecated