GitHub repository: mroman42/mikrokosmos
Primary language: Haskell
Description: (λ) Educational lambda calculus interpreter