A self-hosting mini Haskell compiler with a mini C runtime.
-
Updated
Dec 22, 2019 - Haskell
#
graph-reduction
Here are 12 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."