3 results found Sort:

philzook58
awesome-egraphs philzook58
8
147
mit
7
An awesome list of e-graph resources
egraph e-graph egraphs e-graphs equation optimization equality-saturation compiler-optimization
Created 2024-10-07
46 commits to main branch, last one 8 days ago
sdiehl
mlir-egglog sdiehl
3
39
mit
1
A toy compiler for NumPy array expressions that uses e-graphs and MLIR
mlir egglog e-graphs term-rewriting equality-saturation
Created 2025-03-14
33 commits to main branch, last one 4 days ago
miestrode
ekege miestrode
0
25
apache-2.0
2
A different approach to an E-graph library
egglog e-graph e-graphs free-join rust-library
Created 2024-05-12
78 commits to main branch, last one 6 months ago