Lambster
A lambda calculus interpreter