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 Public

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

    Rust 1.5k 156

  2. egglog Public

    egraphs + datalog!

    Rust 523 60

Repositories

Showing 10 of 15 repositories
  • egglog Public

    egraphs + datalog!

    Rust 523 MIT 60 57 (4 issues need help) 12 Updated Apr 16, 2025
  • egglog-backend Public
    Rust 1 MIT 0 0 0 Updated Apr 16, 2025
  • egglog-python Public

    Python bindings for the egg-smol rust library

    JavaScript 73 MIT 13 9 (2 issues need help) 4 Updated Apr 14, 2025
  • peggy-comparison Public

    Benchmarking files and setup for comparison to peggy

    Java 3 2 0 1 Updated Apr 8, 2025
  • eggcc Public

    An experimental optimizing compiler for Bril

    Rust 65 MIT 13 26 10 Updated Apr 7, 2025
  • egg Public

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

    Rust 1,472 MIT 156 20 7 Updated Mar 1, 2025
  • egglog-experimental Public

    Unstable egglog standard library.

    Rust 2 MIT 1 0 0 Updated Jan 16, 2025
  • egraph-visualizer Public

    Interactive visualizer for e-graphs

    TypeScript 21 MIT 0 1 0 Updated Dec 12, 2024
  • extraction-gym Public

    benchmarking e-graph extraction

    Rust 37 MIT 21 7 5 Updated Nov 8, 2024
  • egraphs-good.github.io Public

    egraphs-good website

    HTML 16 MIT 9 0 0 Updated Oct 9, 2024
View all repositories