egraph topic

List egraph repositories

duckegg

23
Stars
0
Forks
Watchers

An experiment in using DuckDB for a datalog / egg

verified publisher icon philzook58

egga

17
Stars
1
Forks
Watchers

Symbolic Geometric Algebra with E-Graphs

verified publisher icon RobinKa