egraphs-good / eggcc
An experimental optimizing compiler for Bril
☆61Updated 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☆115Updated this week
- benchmarking e-graph extraction☆35Updated 3 months ago
- Rewrite Rule Inference Using Equality Saturation☆121Updated 8 months ago
- An attempt at safe imperative GPU programming.☆29Updated 2 months ago
- An awesome list of e-graph resources☆126Updated last month
- Cyclic theorem prover for equalitional reasoning using egraphs☆26Updated last year
- Pure functional programming with whole-program mutability inference☆64Updated last month
- embedding MLIR in LEAN☆47Updated 8 months ago
- library learning w egraphs☆17Updated last year
- Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…☆16Updated last month
- ☆44Updated this week
- Define compiler intermediate representation usable by external tools☆66Updated 8 months ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆32Updated this week
- sketches for egg: a flexible, high-performance e-graph library☆26Updated 3 weeks ago
- Easy SMT solver interaction☆34Updated this week
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆87Updated last week
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 6 months ago
- Propositional logic with types in Rust☆62Updated last year
- A Hindley-Milner polymorphic typing system☆58Updated last year
- A minimal development of SSA theory☆108Updated this week
- world's worst interpreter☆59Updated 7 months ago
- Session Type EDSL for Rust☆103Updated 2 years ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆44Updated last month
- Armv8 Native Code Symbolic Simulator in Lean☆77Updated 2 months ago
- Programming Languages Intermediate Representation☆109Updated this week
- A Language with Dependent Data and Codata Types☆80Updated this week
- RUst way for Reuse Analysis☆12Updated 10 months ago
- Datalog + Egg = Good☆65Updated last year
- ☆58Updated this week