An awesome list of e-graph resources
-
Updated
Oct 5, 2026
#
e-graphs
Here are 11 public repositories matching this topic...
A toy compiler for NumPy array expressions that uses e-graphs and MLIR
-
Updated
Oct 16, 2026 - Python
A different approach to an E-graph library
-
Updated
May 30, 2025 - Rust
Does representing all of mathematics with one operator, eml(x,y)=exp(x)−ln(y), help GNNs learn symbolic reasoning? Accepted @ NeurIPS VeriCodeGen 2026.
machine-learning reproducible-research symbolic-regression graph-neural-networks symbolic-reasoning symbolic-mathematics e-graphs mathnlp
-
Updated
Aug 22, 2026 - Python
Semantic search for integrals using E-Gen embeddings and contrastive learning
embeddings sympy semantic-search integrals symbolic-math faiss fastapi contrastive-learning e-graphs
-
Updated
Sep 11, 2026 - Python
Multiway hypergraph rewriting engine with e-graph-style state sharing — zero dependencies, deterministic to the byte
rust confluence hypergraph term-rewriting graph-isomorphism graph-rewriting zero-dependencies wolfram-model e-graphs multiway-systems
-
Updated
Jul 10, 2026 - Rust
Equality Saturation plugin for MimIR
functional-programming intermediate-representation egg compiler-optimization higher-kinded-types equality-saturation e-graphs slotted-egraphs
-
Updated
Oct 1, 2026 - Rust
Self-hosting equality saturation (e-graph) superoptimizer, relational synthesis kernel, and differentiable S-expression abstract machine in Common Lisp
-
Updated
Oct 16, 2026 - Common Lisp
Formally verified equality saturation engine in Lean 4 — 248 theorems, zero sorry, zero axioms
-
Updated
Feb 25, 2026 - Lean
Automation of a Vertical Warehouse using Egglog and Lingua Franca
-
Updated
Sep 10, 2026 - Python
Autonomous Equational Theorem Discovery Engine & Mathematical Observatory with E-Graphs, Knuth-Bendix Completion, and Microsecond Finite Countermodels
-
Updated
Aug 25, 2026 - Python
Add this topic to your repo
To associate your repository with the e-graphs topic, visit your repo's landing page and select "manage topics."