A simple interpreter for the untyped lambda calculus. - View it on GitHub