High performance, concurrent functional programming abstractions
This program implements a nondeterministic Turing machine simulator in C.