e-graph

Here are 7 public repositories matching this topic...

An awesome list of e-graph resources

Python bindings for the egglog rust library

python rust dsl term-rewriting equality-saturation e-graph

A different approach to an E-graph library

rust-library e-graph egglog e-graphs free-join

E-Graph library

cpp term-rewriting equality-saturation e-graph egraph

easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once

e-graph

a compiler that understands mathematics

Maffs expression simplifier using e-graphs.

To associate your repository with the e-graph topic, visit your repo's landing page and select "manage topics."