egg "The egg project uses e-graphs to provide a new way to build program optimizers and synthesizers."
There's also a short MDBook introducing the conceptual space of e-graphs and how to get started with the crate, which I thought was very nice: egg::tutorials - Rust