#

egraph

Here are 4 public repositories matching this topic...

philzook58 / awesome-egraphs

An awesome list of e-graph resources

optimization equation compiler-optimization equality-saturation egraphs e-graph egraph e-graphs

Updated Nov 14, 2024

philzook58 / duckegg

An experiment in using DuckDB for a datalog / egg

sql datalog egg egraph

Updated Oct 11, 2023
Python

RobinKa / egga

Symbolic Geometric Algebra with E-Graphs

python math physics vector equation mathematics symbolic simplify symbolic-math geometric-algebra solve bivector multivector clifford-algebra egraph symbolic-geometric-agebra

Updated Oct 11, 2023
Python

can-lehmann / egraphs.cpp

E-Graph library

cpp term-rewriting equality-saturation e-graph egraph

Updated Apr 4, 2024
C++

Improve this page

Add a description, image, and links to the egraph topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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