1 result found Sort:

philzook58
awesome-egraphs philzook58
4
106
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
31 commits to main branch, last one 8 days ago