Projects in Awesome Lists tagged with e-graph
A curated list of projects in awesome lists tagged with e-graph .
https://github.com/egraphs-good/egglog-python
Python bindings for the egg-smol rust library
dsl e-graph equality-saturation python rust term-rewriting
Last synced: 13 Dec 2025
https://github.com/can-lehmann/egraphs.cpp
E-Graph library
cpp e-graph egraph equality-saturation term-rewriting
Last synced: 09 Nov 2025
