An interpreter of Church's lambda calculaus
github.com