E-graph implementation for educational purposes

Harmony automation tool available through program optimization (e-graphs)

Equality Saturation Framework for Directive-Based GPU Code

E-Graph library

Flexible Matching: Explore and reveal accelerator-supported workloads in Deep Learning Models

An experimental Differential Dataflow optimization engine powered by equality saturation

A language-generic implementation of equality saturation in Haskell

EGraphs in OCaml

Python bindings for the egg-smol rust library

A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://gussmith23.github.io/glenside-web-demo/

🚧 Build a SQL optimizer in 1000 lines of Rust using egg.

Fast equality saturation in Haskell

An awesome list of e-graph resources

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.