Projects in Awesome Lists tagged with egraphs
A curated list of projects in awesome lists tagged with egraphs .
https://github.com/JuliaSymbolics/Metatheory.jl
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
compiler-construction compiler-optimization egraphs equality-saturation julia optimization programming-language symbolic symbolic-computation symbolic-manipulation term-rewriting
Last synced: 22 Jul 2025
https://github.com/juliasymbolics/metatheory.jl
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
compiler-construction compiler-optimization egraphs equality-saturation julia optimization programming-language symbolic symbolic-computation symbolic-manipulation term-rewriting
Last synced: 15 May 2025
https://github.com/alt-romes/hegg
Fast equality saturation in Haskell
egraphs equality-saturation haskell
Last synced: 21 Aug 2025
https://github.com/verse-lab/ego
EGraphs in OCaml
egraphs equality-saturation ocaml
Last synced: 28 Oct 2025
