egraphs-good / eggccLinks
An experimental optimizing compiler for Bril
☆78Updated last week
Alternatives and similar repositories for eggcc
Users that are interested in eggcc are comparing it to the libraries listed below
Sorting:
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- Rewrite Rule Inference Using Equality Saturation☆141Updated 4 months ago
- ☆33Updated last month
- Interface with the rustc compiler for the purpose of program verification☆200Updated this week
- An awesome list of e-graph resources