equality-saturation topic
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,...
eqsat
A language-generic implementation of equality saturation in Haskell
glenside
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/
hegg
Fast equality saturation in Haskell
egglog-python
Python bindings for the egg-smol rust library
sql-optimizer-labs
🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
awesome-egraphs
An awesome list of e-graph resources