egraphs-good/egg

Health v2 · maintenance only

Flags: no_releases

Adoption not part of the score

1822 stars · 201 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

egg is a Rust library implementing e-graphs and equality saturation, providing a fast and flexible data structure for compactly representing many equivalent expressions. It is used to build program optimizers, synthesizers, verifiers, and other tools based on rewrite rules.

Use cases

• build a program optimizer using equality saturation
• implement an e-graph data structure in Rust
• write a compiler pass that applies rewrite rules
• build a program synthesizer or verifier
• symbolic math simplification with rewrite rules
• partial evaluation of a lambda calculus

When to choose

• you need a high-performance, hackable e-graph library in Rust
• you want to experiment with equality saturation for optimization or synthesis
• you prefer a simpler library design over a Datalog-based system

When to avoid

• you want a language-based, Datalog-driven approach with incremental execution - use egglog instead
• you need Python bindings out of the box
• your project has nothing to do with term rewriting or equivalence reasoning

Facets

library · maturity active

parser compiler interpreter developer-tools compilers programming-languages developer-tools rust cross-platform e-graphs equality-saturation term-rewriting program-optimization program-synthesis smt rust-library algorithms research

Member repositories

For agents

markdown · JSON · MCP: product_card(name="egraphs-good/egg")