Bologna Optimal Higher-Order Machine, Version 1.1
A self-hosting mini Haskell compiler with a mini C runtime.
A Lévy-optimal lambda calculus reducer with a backdoor to C
Implementing a small functional language with a combinator based graph-reduction machine
Alef Lazily Evaluates Functions
[NeurIPS 2025] A Python library for graph reduction including condensation, coarsening, and sparsification.
Lambda Calculus to Ski compiler and runtime.
Implementing a small functional language with a combinator graph reduction engine
interactive graph reduction for lambda calculus
An implementation of the Spineless Tagless G-Machine, implemented for educational purposes.
A Lambda Calculus interpreter implemented in C.
Maximum independent edge set based method for graph reduction on GPU
Graph Reduction for Instance SelecTion - A comprehensive toolkit for evaluating 30+ graph reduction techniques.
A program that reduces the number of Manhattan roads in New Jork City while optimizing various characteristics.
An evolving research environment for the systematic study of graph reduction methods to support my thesis experimentation
Add a description, image, and links to the graph-reduction topic page so that developers can more easily learn about it.
To associate your repository with the graph-reduction topic, visit your repo's landing page and select "manage topics."