36 skills found · Page 1 of 2
glebec / Lambda TalkA Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
marvinborner / Bruijn:abacus: Programming with pure lambda calculus
ljedrz / Lambda CalculusA simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
benji6 / Combinators Js:bird: Some combinators
benji6 / Church:church: Church Encoding in JS
loophp / CombinatorA curated list of combinators
marvinborner / Birb:bird: *cheep cheep shriek caw*
siraben / Mini HaskellA self-hosting mini Haskell compiler with a mini C runtime.
codereport / BlackbirdA header-only library that defines common SKI combinators from Combinatory Logic.
thma / Lambda SkiImplementing a small functional language with a combinator based graph-reduction machine
4y8 / EsooLike the Programming Languages Zoo but with esoteric languages.
maxdeliso / Typed SkiCombinatory logic runtime.
codereport / Cl CppCode from livestreams of Combinatory Logic in C++
tudo-seal / CLS CADAutomated CAD assembly generation based on Combinatory Logic Synthesis.
dallaylaen / Ski InterpreterCombinatory logic and lambda calculus interpreter in JS/TS. Supports SKI, BCKW, Church numerals, defining new terms, λ ↔ SK conversions, and more. An HTML playground and quest page included.
combinators / Cls Scala(CL)S - Combinatory Logic Synthesizer
lambada-llc / Tree CalculusNo description available
markisus / Coq SkiCoq Library for SKI Combinatory Logic
planetlambert / CombinatorA reference implementation of Moses Schönfinkel's 1924 paper, On the Building Blocks of Mathematical Logic
helvm / Heltc🎓 🏫 HelTC - Haskellish Esoteric Lambda True Calculator to Esoteric Languages implemented in Haskell
