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.
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.
egg
's POPL 2021 videos on YouTube
(5 min and 30 min)
or
Clowdr.
egg
paper won
Distinguished Paper at
POPL 2021.
egg
as part of the UW CSE Colloquium series.
egg
paper will appear at POPL 2021!
Check out the preprint.
egg
Are you using egg
in your project?
Open a pull request
to add your project to this list!