2 results found Sort:

sdiehl
mlir-egglog sdiehl
2
33
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
27 commits to main branch, last one 5 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