egraph

There are 3 repositories under egraph topic.

philzook58/duckegg
An experiment in using DuckDB for a datalog / egg
Language:Python25 4 00
RobinKa/egga
Symbolic Geometric Algebra with E-Graphs
Language:Python18 3 01
can-lehmann/egraphs.cpp
E-Graph library
Language:C++6 2 00