egg: e-graphs good
egg project uses e-graphs
to provide a new way to build
program optimizers and synthesizers.
is developed by
library provides high-performance, flexible e-graphs implemented in
It is packaged on
and documented on
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.
eggpaper won Distinguished Paper at POPL 2021.
eggas part of the UW CSE Colloquium series.
eggpaper will appear at POPL 2021! Check out the preprint.
Are you using
egg in your project?
Open a pull request
to add your project to this list!