GitHub repository: mdickinson/church
Primary language: Python
Description: Simple interpreter for the untyped lambda calculus