Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: graph-reduction
thma/lambda-ski
Implementing a small functional language with a combinator based graph-reduction machine
Language: Haskell - Size: 822 KB - Last synced: 4 months ago - Pushed: 5 months ago - Stars: 28 - Forks: 1
Superstar64/sky
Lambda Calculus to Ski compiler and runtime.
Language: Haskell - Size: 70.3 KB - Last synced: 9 months ago - Pushed: over 1 year ago - Stars: 5 - Forks: 0
Niklas-Deworetzki/java-stg
An implementation of the Spineless Tagless G-Machine, implemented for educational purposes.
Language: Java - Size: 3.88 MB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0
asperti/BOHM1.1
Bologna Optimal Higher-Order Machine, Version 1.1
Language: C - Size: 291 KB - Last synced: 9 months ago - Pushed: over 7 years ago - Stars: 51 - Forks: 7
thma/lispkit
Implementing a small functional language with a combinator graph reduction engine
Language: Haskell - Size: 92.8 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 5 - Forks: 0
tom-weatherhead/facility
A Lambda Calculus interpreter implemented in C.
Language: C - Size: 127 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0
yang-zhu/capybara
interactive graph reduction for lambda calculus
Language: Haskell - Size: 3.16 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 3 - Forks: 0
siraben/mini-haskell
A self-hosting mini Haskell compiler with a mini C runtime.
Language: Haskell - Size: 137 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 61 - Forks: 3
gergoerdi/alef
Alef Lazily Evaluates Functions
Language: Common Lisp - Size: 130 KB - Last synced: about 1 year ago - Pushed: about 11 years ago - Stars: 31 - Forks: 0