alt-romes/hegg
View on GitHub ↗ ★ 99 Haskell
Fast equality saturation in Haskell
3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2022-07-22 · latest 2025-05-15
20082026
-
…of equality saturation can take interesting integrals with very simple rules [2]. [2] https://github.com/alt-romes/hegg/blob/master/test/Sym.hs#L3...
comment by thesz · 2025-05-15 · in AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms -
…I'm trying to apply e-graphs (using my -- shameless plug -- haskell e-graphs/eqsat library[1]) [1] https://github.com/alt-romes/hegg
comment by romes · 2023-06-24 · in The E-graph extraction problem is NP-complete -
…to the best of my knowledge. P.S: I'm currently implementing them in Haskell https://github.com/alt-romes/hegg
comment by romes · 2022-07-22 · in Ask HN: What are some cool but obscure data structures you know about?