graph-reduction

There are 12 repositories under graph-reduction topic.

siraben/mini-haskell
A self-hosting mini Haskell compiler with a mini C runtime.
Language:Haskell73 5 05
asperti/BOHM1.1
Bologna Optimal Higher-Order Machine, Version 1.1
Language:C67 5 18
gergoerdi/alef
Alef Lazily Evaluates Functions
Language:Common Lisp31 8 00
thma/lambda-ski
Implementing a small functional language with a combinator based graph-reduction machine
Language:Haskell28 4 01
thma/lispkit
Implementing a small functional language with a combinator graph reduction engine
Language:Haskell6 4 1
Superstar64/sky
Lambda Calculus to Ski compiler and runtime.
Language:Haskell5 1 00
yang-zhu/capybara
interactive graph reduction for lambda calculus
Language:Haskell3 1 150
Niklas-Deworetzki/java-stg
An implementation of the Spineless Tagless G-Machine, implemented for educational purposes.
Language:Java2 1 00
evariste-dlr/mies-gpu
Maximum independent edge set based method for graph reduction on GPU
Language:C++1 1 00
tom-weatherhead/facility
A Lambda Calculus interpreter implemented in C.
Language:C1 2 00
zahiriddin-rustamov/GRIST
Graph Reduction for Instance SelecTion - A comprehensive toolkit for evaluating 30+ graph reduction techniques.
00
ewdlop/Functional-Programming-Note
Language:C#