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.
eggas part of the UW CSE Colloquium series.
eggpaper will appear at POPL 2021!
Are you using
egg in your project?
Open a pull request
to add your project to this list!