Projects in Awesome Lists tagged with ski-combinators
A curated list of projects in awesome lists tagged with ski-combinators .
https://github.com/witchcrafters/quark
Common combinators for Elixir
combinator curried-functions elixir functional-languages functional-programming operators pointfree ski-combinators
Last synced: 12 Dec 2025
https://github.com/ljedrz/lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
beta-reduction church-encoding combinatory-logic debruijn embedded-iterators-encoding lambda-calculus lambda-expressions lambda-functions lambda-interpreter parigot-encoding reduction-strategies rust rust-library scott-encoding ski-combinators stump-fu-encoding
Last synced: 05 Apr 2025
https://github.com/thma/lispkit
Implementing a small functional language with a combinator graph reduction engine
combinator-graphs combinatory-logic eval functional-language graph-reduction lambda-calculus lambda-terms lispkit parallel-reduction repl ski-combinators
Last synced: 26 Mar 2025
https://github.com/mountain/skiverse
A SKI universe
cheminformatics ideal-gas program-gas simulation ski-calculus ski-combinators
Last synced: 24 Aug 2025
https://github.com/rootmos/ppx_ski
SKI combinator calculus implemented in OCaml
ocaml ppx ski-calculus ski-combinators
Last synced: 21 Mar 2025
https://github.com/ailrun/lambdifies
Lambdifies VM
haskell language ski-calculus ski-combinators virtual-machine vm
Last synced: 12 Jun 2025
