Open Issues Need Help
View All on GitHub Visualizing e-graphs with graphviz about 1 month ago
enhancement help wanted good first issue
Fast equality saturation in Haskell
egraphs equality-saturation haskell
1 Open Issue Need Help
Last updated: Sep 6, 2025