Search Results - RepositoryStats

8

141

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

45 commits to main branch, last one about a month ago

12

69

mit

3

Python bindings for the egg-smol rust library

dsl rust python e-graph term-rewriting equality-saturation

Created 2022-11-02

1,141 commits to main branch, last one 2 days ago

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