equality-saturation

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.

An awesome list of e-graph resources

A toy compiler for NumPy array expressions that uses e-graphs and MLIR

Python bindings for the egglog rust library

Fast equality saturation in Haskell

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

EGraphs in OCaml

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/

An egglog-compatible but faster ahead-of-time compiling e-graph engine.

E-Graph library

A language-generic implementation of equality saturation in Haskell

An experimental Differential Dataflow optimization engine powered by equality saturation

Nelson-Oppen congruence closure and E-graph equality saturation engine propagating functional equivalence across uninterpreted terms.

Nelson-Oppen congruence closure and E-graph equality saturation engine propagating functional equivalence across uninterpreted terms.

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

E-graph implementation for educational purposes

Equality Saturation Framework for Directive-Based GPU Code

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

Inference engine for extensional untyped λ-calculus

A machine that writes its own compiler rules, certifies them, and learns to play the game they create.