1 result found Sort:

philzook58
awesome-egraphs philzook58
4
94
mit
6
An awesome list of e-graph resources
egraph e-graph egraphs e-graphs equation optimization equality-saturation compiler-optimization
Created 2024-10-07
29 commits to main branch, last one 17 days ago