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

Showing 10 of 19 repositories

egglog Public
egraphs + datalog!

egraphs-good/egglog's past year of commit activity
eggcc Public
An experimental optimizing compiler for Bril using egglog

egraphs-good/eggcc's past year of commit activity

Rust
101
MIT
17 26 6
Updated Aug 14, 2026
egraphs-good/egglog-python's past year of commit activity
egraphs-good/egglog-experimental's past year of commit activity

Rust
16
MIT
10 5 7
Updated Aug 10, 2026
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
egraphs-good/egglog-demo's past year of commit activity

JavaScript
2
MIT
1 0 1
Updated Jun 17, 2026
egraphs-good/egglog-tutorial's past year of commit activity

HTML
9
MIT
4 5 1
Updated Jun 4, 2026
egraphs-good/egraphs-good.github.io's past year of commit activity

HTML
18
MIT
9 1 0
Updated Mar 10, 2026
egraphs-good/extraction-gym's past year of commit activity

Rust
54
MIT
30 9 5
Updated Feb 2, 2026