egraphs-good

egraphs-good's repositories

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

Language:RustMIT1286 23 130

egraphs + datalog!

Language:RustMIT387 13 142

Python bindings for the egg-smol rust library

Language:PythonMIT55 3 25

Python bindings for egg

Language:PythonMIT44 6 6

Language:RustMIT39 5 137

benchmarking e-graph extraction

Language:RustMIT24 5 7

egraphs-good website

Language:HTMLMIT14 30

egraph <-> json

Language:RustMIT8 1 3

Language:Rust4 10

Readme for the egraphs-good org

a web demo for egg

Language:RustMIT1 1 1

Benchmarking files and setup for comparison to peggy

Language:Java100