2 results 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
egraphs-good
egglog-python egraphs-good
9
65
mit
3
Python bindings for the egg-smol rust library
dsl rust python e-graph term-rewriting equality-saturation
Created 2022-11-02
1,031 commits to main branch, last one 3 days ago