← All repos

philzook58/awesome-egraphs

View on GitHub ↗ ★ 377

An awesome list of e-graph resources

4 mentions on Hacker News by 3 people: 0 stories, 4 comments · first 2025-02-22 · latest 2026-09-24