egraphs-good

Using e-graphs to build cool stuff

Pinned Repositories

egg
egg is a flexible, high-performance e-graph library
Language:Rust1.4k 23 138136
egg-tutorial-pldi-2022
Language:Rust5 1 00
eggcc
Language:Rust42 6 1378
egglog
egraphs + datalog!
Language:Rust422 16 15446
egglog-python
Python bindings for the egg-smol rust library
Language:Python62 3 277
egraph-serialize
egraph <-> json
Language:Rust12 1 34
egraphs-good.github.io
egraphs-good website
Language:HTML15 3 09
extraction-gym
benchmarking e-graph extraction
Language:Rust27 6 1016
peggy-comparison
Benchmarking files and setup for comparison to peggy
Language:Java20
snake-egg
Python bindings for egg
Language:Python46 6 614

egraphs-good's Repositories

egraphs-good/egg
egg is a flexible, high-performance e-graph library
Language:Rust1.4k 23 138136
egraphs-good/egglog
egraphs + datalog!
Language:Rust422 16 15446
egraphs-good/egglog-python
Python bindings for the egg-smol rust library
Language:Python62 3 277
egraphs-good/snake-egg
Python bindings for egg
Language:Python46 6 614
egraphs-good/eggcc
Language:Rust42 6 1378
egraphs-good/extraction-gym
benchmarking e-graph extraction
Language:Rust27 6 1016
egraphs-good/egraphs-good.github.io
egraphs-good website
Language:HTML15 3 09
egraphs-good/egraph-serialize
egraph <-> json
Language:Rust12 1 34
egraphs-good/egg-tutorial-pldi-2022
Language:Rust5 1 00
egraphs-good/peggy-comparison
Benchmarking files and setup for comparison to peggy
Language:Java20
egraphs-good/.github
Readme for the egraphs-good org
1 1 00
egraphs-good/egg-web-demo
a web demo for egg
Language:Rust1 1 10