~Michael Arntzenius

A tiny Lisp designed for exploring the ideas behind Ken Thompson's Reflections on Trusting Trust: http://www3.cs.stonybrook.edu/~cse509/p761-thompson.pdf — nicholasbs

A research programming language attempting to generalize datalog. You can see the code here: https://github.com/rntz/datafun — porterjamesj