18 skills found
witchcrafters / QuarkCommon combinators for Elixir
ljedrz / Lambda CalculusA simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
marvinborner / Birb:bird: *cheep cheep shriek caw*
codereport / BlackbirdA header-only library that defines common SKI combinators from Combinatory Logic.
ngzhian / SkiSKI combinators
vivshaw / Three Wise MonkeysYou've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
4y8 / Ski In AsmA SKI combinators interpreter written in assembly
mbuliga / ChemskiPurely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
iczelia / Skia 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
jpt4 / SkioPure relational SKI combinator calculus interpreter.
adam-mcdaniel / Program EvolutionEvolutionary algorithms applied to SKI combinator calclus and a Turing-machine-based architecture
Superstar64 / SkyLambda Calculus to Ski compiler and runtime.
codereport / DovekieA library that defines common SKI combinators from Combinatory Logic.
adampalay / SKITypesImplementing the SKI combinator calculus in Haskell's type system
thma / LispkitImplementing a small functional language with a combinator graph reduction engine
JuliaPoo / SKIioAn esolang that extends SKI combinators with I/O. Interpreter and Compiler from lambda expressions implemented
nahiluhmot / SKIAn SKI Combinator Calculus Interpreter
kazu-yamamoto / SKIEmulator of the SKI combinator system
