thma / lambda-ski Star 29 Code Issues Pull requests Implementing a small functional language with a combinator based graph-reduction machine haskell compiler functional-programming graph-algorithms lambda-calculus combinator combinatory-logic graph-reduction lambda-abstractions stref st-monad Updated Dec 15, 2023 Haskell
archanpatkar / ChurchEncodings Star 6 Code Issues Pull requests λ Lambda Calculus Encodings python functional-programming functions lambda-calculus boolean numbers currying functional-data-structure combinators functional-python lambda-abstractions Updated Dec 7, 2018 Python
jyoo980 / haskell-fp Star 0 Code Issues Pull requests A repository exploring pure functional programming with Haskell haskell functional-programming lambda-calculus pure beta-reduction lambda-abstractions eta-conversion Updated Feb 6, 2018 Haskell