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
20082026
-
…are also just a useful fabric for optimization tasks. They are being used in many compiler projects https://github.com/philzook58/awesome-egraphs . Mostly research compilers, but cranelift and luminal are not for example. Many applications…
comment by philzook · 2026-09-24 · in Lambda MicroEgg -
…https://www.cs.cornell.edu/courses/cs6120/2025sp/blog/supero... https://github.com/philzook58/awesome-egraphs
comment by peterfirefly · 2026-04-07 · in DeiMOS – A Superoptimizer for the MOS 6502 -
…of most efficient datalog engines use relational query execution under the hood. Take a look here: https://github.com/philzook58/awesome-egraphs The paper you'll most probably find interesting is "Better Together: Unifying Datalog and…
comment by thesz · 2025-06-16 · in Datalog in miniKanren -
Wide context. But to be a bit more specific, I've been involved in the egraphs community https://github.com/philzook58/awesome-egraphs and we don't currently have a shared database of rewrite rules for benchmarking, nor do we collect the…
comment by philzook · 2025-02-22 · in Where are all the rewrite rules?