A self-hosting mini Haskell compiler with a mini C runtime.
-
Updated
Dec 22, 2019 - Haskell
#
graph-reduction
Here are 11 public repositories matching this topic...
Bologna Optimal Higher-Order Machine, Version 1.1
lambda
functional-programming
lambda-calculus
higher-order-functions
compilers
lambda-expressions
graph-reduction
-
Updated
Feb 17, 2017 - C
Alef Lazily Evaluates Functions
-
Updated
Mar 10, 2013 - Common Lisp
Implementing a small functional language with a combinator based graph-reduction machine
haskell
compiler
functional-programming
graph-algorithms
lambda-calculus
combinator
combinatory-logic
graph-reduction
lambda-abstractions
stref
st-monad
-
Updated
Dec 15, 2023 - Haskell
Implementing a small functional language with a combinator graph reduction engine
repl
lambda-calculus
combinatory-logic
functional-language
eval
ski-combinators
graph-reduction
lispkit
lambda-terms
parallel-reduction
combinator-graphs
-
Updated
Oct 19, 2023 - Haskell
Lambda Calculus to Ski compiler and runtime.
-
Updated
Nov 23, 2022 - Haskell
interactive graph reduction for lambda calculus
-
Updated
Apr 21, 2022 - Haskell
An implementation of the Spineless Tagless G-Machine, implemented for educational purposes.
-
Updated
Jan 26, 2022 - Java
A Lambda Calculus interpreter implemented in C.
c
interpreter
lambda-calculus
graph-reduction
beta-reduction
y-combinator
de-bruijn-notation
church-numerals
-
Updated
Aug 27, 2022 - C
Maximum independent edge set based method for graph reduction on GPU
-
Updated
Sep 5, 2020 - C++
Graph Reduction for Instance SelecTion - A comprehensive toolkit for evaluating 30+ graph reduction techniques.
-
Updated
Sep 29, 2024
Improve this page
Add a description, image, and links to the graph-reduction topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the graph-reduction topic, visit your repo's landing page and select "manage topics."