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.

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

• Tensat will appear at MLSys 2021.
• Check out egg's POPL 2021 videos on YouTube (5 min and 30 min) or Clowdr.
• The egg paper won Distinguished Paper at POPL 2021.
• Max gave a 10 minute talk about egg as part of the UW CSE Colloquium series.
• The egg paper will appear at POPL 2021! Check out the preprint.

Projects using egg

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

• Tensat optimizes deep learning compute graphs both better and faster (up to 50x) than the state of the art.
• 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.