10000 egraphs-good · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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.5k 161

  2. egglog egglog Public

    egraphs + datalog!

    Rust 543 59

Repositories

Showing 10 of 17 repositories
View all repositories

Most used topics

Loading…
0