egraphs-good/egglog
View on GitHub ↗ ★ 881 Rust
egraphs + datalog!
3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2023-05-10 · latest 2026-04-14
20082026
-
…from equalities/e-graphs. [1] https://smallcultfollowing.com/babysteps/blog/2017/01/26/low... [2] https://github.com/egraphs-good/egglog [3] https://github.com/eqlog/eqlog [4] https://www.mbid.me/posts/type-checking-with-eqlog-polymorph...
comment by mbid · 2026-04-14 · in The acyclic e-graph: Cranelift's mid-end optimizer -
…project [2], which might have similar features as well. [1] https://github.com/eqlog/eqlog [2] https://github.com/egraphs-good/egglog
comment by mbid · 2024-11-20 · in SQL, Homomorphisms and Constraint Satisfaction Problems -
…it. But instead it's by adding relations between terms in the graph. See section 6.2 of the paper. https://github.com/egraphs-good/egglog https://arxiv.org/pdf/2304.04332.pdf
comment by aseipp · 2023-05-10 · in Ask HN: What is new in algorithms and data structures these days?