`egg`: e-graphs good

The egg project uses e-graphs to provide a new way to build program optimizers and synthesizers. egg is developed by Max Willsey and his friends on GitHub.

An e-graph compactly represents many equivalent programs. These four e-graphs represent more and more (even infinite!) ways to write *(a × 2) / 2*. `egg` makes e-graphs fast and flexible enough for use in program optimization and synthesis.

The core egg library provides high-performance, flexible e-graphs implemented in Rust. It is packaged on crates.io and documented on docs.rs, including a tutorial that provides an introduction to e-graphs and their use cases.

News

Max gave a 10 minute talk about egg as part of the UW CSE Colloquium series.
The egg paper will appear at POPL 2021!

Projects using `egg`

Are you using egg in your project? Open a pull request to add your project to this list!

Herbie improves the accuracy of floating point expressions. The egg-herbie library made parts of Herbie over 3000x faster!
Szalinski shrinks 3D CAD programs to make them more editable.
SPORES optimized linear algebra expressions up to 5x better than state-of-the-art.

egg: e-graphs good

News

Projects using egg

`egg`: e-graphs good

Projects using `egg`