egraphs-good / eggLinks

egg is a flexible, high-performance e-graph library
1,503Updated this week

Alternatives and similar repositories for egg

Users that are interested in egg are comparing it to the libraries listed below

Sorting: