2 results found Sort:

An awesome list of e-graph resources
Created 2024-10-07
45 commits to main branch, last one 4 days ago
0
25
apache-2.0
2
A different approach to an E-graph library
Created 2024-05-12
78 commits to main branch, last one 5 months ago