Skip to content
@egraphs-good

egraphs-good

Using e-graphs to build cool stuff
README.md

e-graphs good

The egg (e-graphs good) project uses e-graphs to provide a new way to build program optimizers and synthesizers.

More information is on our website, and discussion is in the EGRAPHS Community Zulip.

Pinned Loading

  1. egg egg Public

    egg is a flexible, high-performance e-graph library

    Rust 1.8k 202

  2. egglog egglog Public

    egraphs + datalog!

    Rust 844 117

  3. extraction-gym extraction-gym Public

    benchmarking e-graph extraction

    Rust 53 30

Repositories

Showing 10 of 19 repositories
  • egglog-python Public

    Python bindings for the egglog rust library

    egraphs-good/egglog-python's past year of commit activity
    JavaScript 109 MIT 26 20 (4 issues need help) 5 Updated Sep 18, 2026
  • egglog Public

    egraphs + datalog!

    egraphs-good/egglog's past year of commit activity
    Rust 844 MIT 117 93 (4 issues need help) 52 Updated Sep 18, 2026
  • egglog-experimental Public

    Unstable egglog standard library.

    egraphs-good/egglog-experimental's past year of commit activity
    Rust 16 MIT 10 8 6 Updated Sep 18, 2026
  • eggcc Public

    An experimental optimizing compiler for Bril using egglog

    egraphs-good/eggcc's past year of commit activity
    Rust 102 MIT 17 26 6 Updated Sep 1, 2026
  • egglog-language-server Public

    A language server and VScode extension for egglog

    egraphs-good/egglog-language-server's past year of commit activity
    Rust 12 MIT 3 4 0 Updated Aug 1, 2026
  • egg Public

    egg is a flexible, high-performance e-graph library

    egraphs-good/egg's past year of commit activity
    Rust 1,833 MIT 202 20 6 Updated Jul 19, 2026
  • egglog-demo Public

    Interactive demo website for Egglog

    egraphs-good/egglog-demo's past year of commit activity
    JavaScript 2 MIT 1 0 1 Updated Jun 17, 2026
  • egglog-tutorial Public
    egraphs-good/egglog-tutorial's past year of commit activity
    HTML 10 MIT 4 5 1 Updated Jun 4, 2026
  • egraphs-good.github.io Public

    egraphs-good website

    egraphs-good/egraphs-good.github.io's past year of commit activity
    HTML 17 MIT 9 1 0 Updated Mar 10, 2026
  • extraction-gym Public

    benchmarking e-graph extraction

    egraphs-good/extraction-gym's past year of commit activity
    Rust 53 MIT 30 9 5 Updated Feb 2, 2026
View all repositories

Most used topics

Loading…