@egraphs-good
Guthub

egraphs-good

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,263
  • Global Org. Rank 13,133 (Top 5 %)
  • Registered about 4 years ago
  • Most used languages
    Rust
         77.8 %
    Python
         11.1 %
    HTML
         11.1 %

Top repositories

1

egg

egg is a flexible, high-performance e-graph library
Rust
1,310
star
2

egglog

egraphs + datalog!
Rust
393
star
3

snake-egg

Python bindings for egg
Python
46
star
4

eggcc

Rust
42
star
5

extraction-gym

benchmarking e-graph extraction
Rust
12
star
6

egraphs-good.github.io

egraphs-good website
HTML
8
star
7

egg-tutorial-pldi-2022

Rust
5
star
8

egraph-serialize

egraph <-> json
Rust
1
star
9

egg-web-demo

a web demo for egg
Rust
1
star
10

.github

Readme for the egraphs-good org
1
star