GitHub repository: kid-a/pylambda
Primary language: Python
Description: A lambda calculus interpreter written in Python