Projects in Awesome Lists tagged with graph-reduction
A curated list of projects in awesome lists tagged with graph-reduction .
https://github.com/siraben/mini-haskell
A self-hosting mini Haskell compiler with a mini C runtime.
c combinatory-logic compiler graph-reduction haskell hindley-milner parser-combinators
Last synced: 30 Apr 2025
https://github.com/thma/lambda-ski
Implementing a small functional language with a combinator based graph-reduction machine
combinator combinatory-logic compiler functional-programming graph-algorithms graph-reduction haskell lambda-abstractions lambda-calculus st-monad stref
Last synced: 22 Aug 2025
https://github.com/gergoerdi/alef
Alef Lazily Evaluates Functions
common-lisp functional-programming graph-reduction lazy-evaluation
Last synced: 09 Mar 2026
https://github.com/Emory-Melody/GraphSlim
A Python library for graph reduction including condensation, coarsening, and sparsification.
graph graph-coarsening graph-condensation graph-neural-network graph-reduction graph-sparsification
Last synced: 02 Sep 2025
https://github.com/thma/lispkit
Implementing a small functional language with a combinator graph reduction engine
combinator-graphs combinatory-logic eval functional-language graph-reduction lambda-calculus lambda-terms lispkit parallel-reduction repl ski-combinators
Last synced: 26 Mar 2025
https://github.com/tom-weatherhead/facility
A Lambda Calculus interpreter implemented in C.
beta-reduction c church-numerals de-bruijn-notation graph-reduction interpreter lambda-calculus y-combinator
Last synced: 24 Jul 2025
