slovnicki / pLam Sponsor Star 464 Code Issues Pull requests An interpreter for learning and exploring pure λ-calculus language programming-language lambda interpreter functional-programming lambda-calculus church church-encoding logic-programming numeral-systems computability-theory computability Updated Apr 11, 2021 Haskell
severen / sly Star 5 Code Issues Pull requests A cunning interpreter for the pure untyped λ-calculus. language programming-language haskell interpreter functional-programming lambda-calculus programming-language-theory computability-theory Updated Dec 2, 2025 Haskell