An awesome list of e-graph resources
-
Updated
Mar 21, 2026
#
egraph
Here are 5 public repositories matching this topic...
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
Self-hosted systems + scientific programming language with epistemic types, uncertainty propagation, algebraic effects, and formalized non-associative algebra.
programming-language algebraic-effects compiler scientific-computing self-hosting formal-verification uncertainty-propagation systems-programming octonions egraph non-associative-algebra epistemic-computing
-
Updated
Mar 29, 2026 - Python
Improve this page
Add a description, image, and links to the egraph topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the egraph topic, visit your repo's landing page and select "manage topics."