equality-saturation
There are 14 repositories under equality-saturation topic.
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.
philzook58/awesome-egraphs
An awesome list of e-graph resources
alt-romes/hegg
Fast equality saturation in Haskell
risinglightdb/sql-optimizer-labs
🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
gussmith23/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/
egraphs-good/egglog-python
Python bindings for the egg-smol rust library
verse-lab/ego
EGraphs in OCaml
taktoa/eqsat
A language-generic implementation of equality saturation in Haskell
Kixiron/graph-asm
An experimental Differential Dataflow optimization engine powered by equality saturation
AD1024/flexmatch
Flexible Matching: Explore and reveal accelerator-supported workloads in Deep Learning Models
can-lehmann/egraphs.cpp
E-Graph library
juwonzylee/emu
Harmony automation tool available through program optimization (e-graphs)
khaki3/acc-saturator
Equality Saturation Framework for Directive-Based GPU Code
peterrudenko/e-graph
E-graph implementation for educational purposes