AlphaUncommon
philzook58/awesome-egraphs
An awesome list of e-graph resources
- Owner
- philzook58 (personal account)
- Stars
- Stars: 377
- Forks
- Forks: 19
- Language
- No language
- License
- MIT
- Created
- 2024
- Topics
- e-graphegraphegraphsequality-saturationcompiler-optimizatione-graphsequationoptimization
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by philzook58
All 3 repos by philzook58- philzook58/knuckledraggerStars: 180PythonPrototype
- philzook58/z3_tutorialStars: 171Jupyter NotebookPrototype