GitHub repository: ElliotPenson/Nameless
Primary language: Python
Description: A lambda calculus interpreter written in Python