Erfasste Open-Source-Repos von egraphs-good, sortiert nach Sternen.
egg ist eine flexible, leistungsstarke E-Graph-Bibliothek
egraphs + datalog!
