Projects in Awesome Lists tagged with egraph
A curated list of projects in awesome lists tagged with egraph .
https://github.com/philzook58/duckegg
An experiment in using DuckDB for a datalog / egg
Last synced: 26 Apr 2025
https://github.com/robinka/egga
Symbolic Geometric Algebra with E-Graphs
bivector clifford-algebra egraph equation geometric-algebra math mathematics multivector physics python simplify solve symbolic symbolic-geometric-agebra symbolic-math vector
Last synced: 09 Apr 2025
https://github.com/can-lehmann/egraphs.cpp
E-Graph library
cpp e-graph egraph equality-saturation term-rewriting
Last synced: 09 Nov 2025
