3 results found Sort:

witchcrafters
quark witchcrafters
15
323
mit
11
Common combinators for Elixir
elixir operators pointfree combinator ski-combinators curried-functions functional-languages functional-programming
Created 2015-12-31
112 commits to main branch, last one 2 years 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
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