GitHub repository: sgatev/lhat
Primary language: C++
Description: An interpreter for lambda calculus.