e-graphs

An awesome list of e-graph resources

A toy compiler for NumPy array expressions that uses e-graphs and MLIR

A different approach to an E-graph library

Does representing all of mathematics with one operator, eml(x,y)=exp(x)−ln(y), help GNNs learn symbolic reasoning? Accepted @ NeurIPS VeriCodeGen 2026.

A Common Lisp tool that finds simpler forms of programs by exploring equivalent expressions and synthesizing code from constraints

Automation of a Vertical Warehouse using Egglog and Lingua Franca

XEG: a GPU-parallel algorithm for efficient and effective e-graph extraction (ASPLOS 2027)

A machine that writes its own compiler rules, certifies them, and learns to play the game they create.

Semantic search for integrals using E-Gen embeddings and contrastive learning

Multiway hypergraph rewriting engine with e-graph-style state sharing — zero dependencies, deterministic to the byte

Equality Saturation plugin for MimIR

Equality-saturation substrate — term IR, e-graph engine, certificates, law bank, cost algebra, orchestrator.

Generic e-graph / equality-saturation substrate over the kernel's Term/Value — hash-consing, extraction, provenance.

Formally verified equality saturation engine in Lean 4 — 248 theorems, zero sorry, zero axioms

Autonomous Equational Theorem Discovery Engine & Mathematical Observatory with E-Graphs, Knuth-Bendix Completion, and Microsecond Finite Countermodels

Pure-compute law-discovery machinery over the e-graph — enumeration, derivability, rule cache, admission.