An awesome list of e-graph resources
-
Updated
Apr 18, 2026
#
egraph
Here are 8 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
May 2, 2026 - Python
Rewrite-based Optimizations (equality saturation, stochastic term rewriting)
-
Updated
Sep 2, 2026 - Common Lisp
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
Sep 7, 2026 - Lean
A pure-Rust x86-64 compiler backend with e-graph optimization as core
-
Updated
Aug 8, 2026 - Rust
E-graphs and equality saturation in pure Standard ML
-
Updated
Jul 12, 2026 - Standard ML
Add this topic to your repo
To associate your repository with the egraph topic, visit your repo's landing page and select "manage topics."