Topic: "ski-combinators"
witchcrafters/quark
Common combinators for Elixir
Language: Elixir - Size: 300 KB - Last synced at: 3 days ago - Pushed at: almost 3 years ago - Stars: 320 - Forks: 15
ljedrz/lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Language: Rust - Size: 650 KB - Last synced at: 6 days ago - Pushed at: 15 days ago - Stars: 123 - Forks: 12
marvinborner/birb
:bird: *cheep cheep shriek caw*
Language: Haskell - Size: 45.9 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 73 - Forks: 4
thma/lispkit
Implementing a small functional language with a combinator graph reduction engine
Language: Haskell - Size: 92.8 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0
Superstar64/sky
Lambda Calculus to Ski compiler and runtime.
Language: Haskell - Size: 70.3 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0
mountain/skiverse
A SKI universe
Language: Java - Size: 71.3 KB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 0
rootmos/ppx_ski
SKI combinator calculus implemented in OCaml
Language: OCaml - Size: 28.3 KB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0
Ailrun/Lambdifies
Lambdifies VM
Language: Haskell - Size: 3.91 KB - Last synced at: 2 months ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0
AlexiaChen/computation-theory
There are some implementations of computation theory in Ruby.
Language: Ruby - Size: 17.6 KB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
