Skip to content
@egraphs-good

egraphs-good

Using e-graphs to build cool stuff

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.4k 138

  2. egglog egglog Public

    egraphs + datalog!

    Rust 451 53

Repositories

Showing 10 of 13 repositories