e-graphs topic

List e-graphs repositories

awesome-egraphs

86
Stars
4
Forks
Watchers

An awesome list of e-graph resources

verified publisher icon philzook58

ekege

22
Stars
0
Forks
Watchers

A different approach to an E-graph library

verified publisher icon miestrode