An awesome list of e-graph resources
-
Updated
Oct 5, 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
An epistemic systems language for scientific computing — uncertainty, units and effects, with a self-hosted compiler and libraries spanning physics, pharmacology and quantum computing.
programming-language algebraic-effects compiler scientific-computing self-hosting formal-verification uncertainty-propagation systems-programming octonions egraph non-associative-algebra epistemic-computing
-
Updated
Oct 19, 2026 - Lean
Rewrite-based Optimizations (equality saturation, stochastic term rewriting)
-
Updated
Oct 19, 2026 - Common Lisp
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."