1 result found Sort:

egraphs-good
egglog-python egraphs-good
6
54
mit
4
Python bindings for the egg-smol rust library
dsl rust python e-graph term-rewriting equality-saturation
Created 2022-11-02
949 commits to main branch, last one 10 days ago