GitHub topics: graph-reduction
Emory-Melody/GraphSlim
A Python library for graph reduction including condensation, coarsening, and sparsification.
Language: Python - Size: 10.4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 18 - Forks: 3
ewdlop/Functional-Programming-Note
Language: C# - Size: 12.7 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
thma/lambda-ski
Implementing a small functional language with a combinator based graph-reduction machine
Language: Haskell - Size: 822 KB - Last synced at: 24 days ago - Pushed at: over 1 year ago - Stars: 29 - Forks: 1
siraben/mini-haskell
A self-hosting mini Haskell compiler with a mini C runtime.
Language: Haskell - Size: 137 KB - Last synced at: about 15 hours ago - Pushed at: over 5 years ago - Stars: 74 - Forks: 5
zahiriddin-rustamov/GRIST
Graph Reduction for Instance SelecTion - A comprehensive toolkit for evaluating 30+ graph reduction techniques.
Size: 1000 Bytes - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
thma/lispkit
Implementing a small functional language with a combinator graph reduction engine
Language: Haskell - Size: 92.8 KB - Last synced at: 24 days 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: over 1 year ago - Pushed at: over 2 years 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 at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
asperti/BOHM1.1
Bologna Optimal Higher-Order Machine, Version 1.1
Language: C - Size: 291 KB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 51 - Forks: 7
tom-weatherhead/facility
A Lambda Calculus interpreter implemented in C.
Language: C - Size: 127 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
yang-zhu/capybara
interactive graph reduction for lambda calculus
Language: Haskell - Size: 3.16 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0
gergoerdi/alef
Alef Lazily Evaluates Functions
Language: Common Lisp - Size: 130 KB - Last synced at: about 2 months ago - Pushed at: about 12 years ago - Stars: 31 - Forks: 0
