Skip to content

Navigation Menu

egraphs-good

Explore
For
- Enterprise
- Teams
- Startups
- Education
By Solution
Resources
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

egraphs-good

Using e-graphs to build cool stuff

49 followers
https://egraphs-good.github.io

Overview
Repositories
Projects
Packages
People

More

Overview
Repositories
Projects
Packages
People

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

egg egg Public

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

Rust 1.2k 119
egglog egglog Public

egraphs + datalog!

Rust 341 39

Repositories

Type

Select type

All Public Sources Forks Archived Mirrors Templates

Language

Select language

All HTML Python Rust

Sort

Select order

Last updated Name Stars

Showing 10 of 11 repositories

eggcc Public

Rust 35 MIT 8 43 7 Updated May 3, 2024
egglog Public
egraphs + datalog!

Rust 341 MIT 39 59 (4 issues need help) 5 Updated May 1, 2024
egglog-python Public
Python bindings for the egg-smol rust library

Python 50 MIT 6 7 (1 issue needs help) 3 Updated Apr 30, 2024
egg Public
egg is a flexible, high-performance e-graph library

Rust 1,239 MIT 119 16 3 Updated Apr 26, 2024
egraphs-good.github.io Public
egraphs-good website

HTML 14 MIT 9 0 3 Updated Feb 16, 2024
.github Public
Readme for the egraphs-good org

1 0 0 0 Updated Feb 16, 2024
extraction-gym Public
benchmarking e-graph extraction

Rust 22 MIT 13 5 4 Updated Feb 7, 2024
egraph-serialize Public
egraph <-> json

Rust 7 MIT 2 2 0 Updated Jan 22, 2024
snake-egg Public
Python bindings for egg

Python 44 MIT 13 2 0 Updated Jan 17, 2023
egg-tutorial-pldi-2022 Public

Rust 4 0 0 0 Updated Jun 13, 2022

View all repositories

People

Top languages

Loading…

Most used topics

Loading…

Footer

© 2024 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.