GitHub topics: e-graph
egraphs-good/egglog-python
Python bindings for the egg-smol rust library
Language: JavaScript - Size: 6.87 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 82 - Forks: 14
philzook58/awesome-egraphs
An awesome list of e-graph resources
Size: 173 KB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 192 - Forks: 13
BenSt099/E-Graphs
Development of an application to teach learning content via e-graphs and equality saturation for teaching purposes
Language: Python - Size: 2.57 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
BenSt099/Bachelorarbeit-EGraphs
Development of an application to teach learning content via e-graphs and equality saturation for teaching purposes
Language: TeX - Size: 8.32 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
can-lehmann/egraphs.cpp
E-Graph library
Language: C++ - Size: 19.5 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 0
eytans/easter-egg Fork of egraphs-good/egg
easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
Language: Rust - Size: 5.09 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 11 - Forks: 0
miestrode/ekege
A different approach to an E-graph library
Language: Rust - Size: 316 KB - Last synced at: 29 days ago - Pushed at: 2 months ago - Stars: 25 - Forks: 0
peterrudenko/e-graph
A simple e-graph implementation for educational purposes
Language: C++ - Size: 50.8 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
