e-graph
There are 5 repositories under e-graph topic.
philzook58/awesome-egraphs
An awesome list of e-graph resources
egraphs-good/egglog-python
Python bindings for the egg-smol rust library
miestrode/ekege
A different approach to an E-graph library
eytans/easter-egg
easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
can-lehmann/egraphs.cpp
E-Graph library