glebec / lambda-talk Star 495 Code Issues Pull requests A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS javascript functional-programming lambda-calculus composition mathematics combinatory-logic currying theory-of-computation combinators church-encodings Updated Feb 3, 2024 JavaScript
Risto-Stevcev / haskell-church-encodings Sponsor Star 25 Code Issues Pull requests 🌀 Church encodings written in Haskell encoding haskell church numerals encodings church-encodings Updated Nov 17, 2019 Haskell
mr-know-it-all / haskell-playground Star 1 Code Issues Pull requests haskell quicksort quickcheck length rule-110 custom-types church-encodings recursive-types Updated Oct 5, 2019 Haskell
Risto-Stevcev / python-church-encodings Sponsor Star 1 Code Issues Pull requests Church encodings written in Python python encoding church numerals encodings church-encodings Updated Apr 27, 2014 Python
ASK1995 / Haskell Star 0 Code Issues Pull requests Haskell Implementations during CS 581 at OSU. haskell lambda-calculus church-encodings Updated Feb 27, 2018