7 results found Sort:

glebec
lambda-talk glebec
42
515
mit
17
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
currying javascript combinators composition mathematics lambda-calculus church-encodings combinatory-logic theory-of-computation functional-programming
Created 2017-08-24
16 commits to master branch, last one 10 months ago
benji6
combinators-js benji6
10
136
other
4
:bird: Some combinators
haskell combinator lambda-calculus combinatory-logic functional-programming
Created 2015-08-12
103 commits to master branch, last one 18 days ago
benji6
church benji6
10
128
other
4
:church: Church Encoding in JS
haskell church-encoding lambda-calculus combinatory-logic functional-programming
Created 2015-12-12
281 commits to master branch, last one 18 days ago
ljedrz
lambda_calculus ljedrz
10
113
cc0-1.0
4
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
rust debruijn rust-library beta-reduction scott-encoding church-encoding lambda-calculus ski-combinators lambda-functions parigot-encoding combinatory-logic stump-fu-encoding lambda-expressions lambda-interpreter reduction-strategies embedded-iterators-encoding
Created 2017-04-05
752 commits to master branch, last one 5 months ago
loophp
combinator loophp
2
110
mit
7
A curated list of combinators
combinator educational combinatory-logic functional-programming
Created 2020-01-18
163 commits to master branch, last one 2 months ago
marvinborner
birb marvinborner
5
93
mit
3
:bird: *cheep cheep shriek caw*
birds esolang lambda-calculus ski-combinators combinatory-logic programming-language functional-programming
Created 2023-09-04
19 commits to main branch, last one about a year ago
marvinborner
bruijn marvinborner
0
90
mit
6
:abacus: Programming with pure lambda calculus
de-bruijn call-by-need church-encoding lambda-calculus abstract-machine balanced-ternary combinatory-logic programming-language
Created 2022-06-17
301 commits to main branch, last one 24 days ago