graph-reduction

There are 1 repository under graph-reduction topic.

siraben / mini-haskell
A self-hosting mini Haskell compiler with a mini C runtime.
compiler haskell c combinatory-logic graph-reduction hindley-milner parser-combinators
Language:Haskell 70
asperti / BOHM1.1
Bologna Optimal Higher-Order Machine, Version 1.1
compilers functional-programming graph-reduction higher-order-functions lambda lambda-calculus lambda-expressions
Language:C 62
gergoerdi / alef
Alef Lazily Evaluates Functions
common-lisp functional-programming lazy-evaluation graph-reduction
Language:Common Lisp 31
thma / lambda-ski
Implementing a small functional language with a combinator based graph-reduction machine
functional-programming haskell graph-algorithms graph-reduction lambda-calculus combinator combinatory-logic compiler lambda-abstractions stref st-monad
Language:Haskell 29
thma / lispkit
Implementing a small functional language with a combinator graph reduction engine
lispkit combinator-graphs graph-reduction lambda-calculus repl lambda-terms eval functional-language combinatory-logic ski-combinators parallel-reduction
Language:Haskell 6
Superstar64 / sky
Lambda Calculus to Ski compiler and runtime.
lambda-calculus ski-combinators graph-reduction compilers
Language:Haskell 5
yang-zhu / capybara
interactive graph reduction for lambda calculus
lambda-calculus graph-reduction
Language:Haskell 3
Niklas-Deworetzki / java-stg
An implementation of the Spineless Tagless G-Machine, implemented for educational purposes.
lazy-evaluation graph-reduction java
Language:Java 2
evariste-dlr / mies-gpu
Maximum independent edge set based method for graph reduction on GPU
graph-algorithms graph-reduction independent-set-problem cuda
Language:C++ 1
tom-weatherhead / facility
A Lambda Calculus interpreter implemented in C.
c interpreter lambda-calculus de-bruijn-notation graph-reduction beta-reduction church-numerals y-combinator
Language:C 1