egraphs-good/extraction-gym egraphs-good/extraction-gym

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Rust
  • License
    MIT License
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
egraphs-good/extraction-gym
github

egraphs-good

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

benchmarking e-graph extraction

More 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

egraphs-good.github.io

egraphs-good website
HTML
8
star
6

egg-tutorial-pldi-2022

Rust
5
star
7

egraph-serialize

egraph <-> json
Rust
1
star
8

egg-web-demo

a web demo for egg
Rust
1
star
9

.github

Readme for the egraphs-good org
1
star