egraphs-good / eggcc
An experimental optimizing compiler for Bril
☆65Updated this week
Alternatives and similar repositories for eggcc:
Users that are interested in eggcc are comparing it to the libraries listed below
- Compiler optimizer for arbitrary control flow based on equality saturation☆94Updated 2 years ago
- Interface with the rustc compiler for the purpose of program verification☆119Updated this week
- Rewrite Rule Inference Using Equality Saturation☆121Updated 9 months ago
- Programming Languages Intermediate Representation☆116Updated this week
- benchmarking e-graph extraction☆36Updated 4 months ago
- Pure functional programming with whole-program mutability inference☆65Updated last month
- An awesome list of e-graph resources☆138Updated 2 weeks ago
- A different approach to an E-graph library☆25Updated 5 months ago
- ☆58Updated 6 months ago
- An attempt at safe imperative GPU programming.☆32Updated 3 months ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆26Updated last year
- ☆58Updated last week
- Automatically generate a compiler using equality saturation☆28Updated 11 months ago
- Rust bindings to the MLIR C API.☆64Updated last month
- Define compiler intermediate representation usable by external tools☆66Updated 8 months ago
- Datalog with equality for rust☆68Updated 4 months ago
- embedding MLIR in LEAN☆47Updated 8 months ago
- A minimal development of SSA theory☆109Updated this week
- ☆46Updated 2 weeks ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆24Updated 10 months ago
- RUst way for Reuse Analysis☆12Updated 11 months ago
- sketches for egg: a flexible, high-performance e-graph library☆26Updated last month
- world's worst interpreter☆60Updated 8 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆87Updated 2 weeks ago
- Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…☆16Updated this week
- A Language with Dependent Data and Codata Types☆86Updated this week
- A Hindley-Milner polymorphic typing system☆58Updated last year
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago