vaivaswatha / pliron
Programming Languages Intermediate Representation
☆116Updated this week
Alternatives and similar repositories for pliron:
Users that are interested in pliron are comparing it to the libraries listed below
- Define compiler intermediate representation usable by external tools☆66Updated 8 months ago
- Rust bindings to the MLIR C API.☆64Updated last month
- The rustic MLIR bindings in Rust☆388Updated this week
- A new register allocator☆226Updated 2 months ago
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- Propositional logic with types in Rust☆62Updated last year
- Compiler optimizer for arbitrary control flow based on equality saturation☆94Updated 2 years ago
- automatially find crashes in the rust compiler & tooling☆71Updated 10 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- An experimental optimizing compiler for Bril☆65Updated this week
- Interface with the rustc compiler for the purpose of program verification☆119Updated this week
- a model of MIR and the Rust type/trait system☆296Updated 2 weeks ago
- UB-free and deterministic rustc fuzzer☆74Updated last month
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆76Updated last week
- ☆126Updated last week
- A framework for writing plugins that integrate with the Rust compiler☆141Updated this week
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Recipes for avoiding bounds checks in Rust, without unsafe!☆109Updated 2 years ago
- property testing and verification front-end for Rust☆199Updated 2 weeks ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆87Updated 3 weeks ago
- Lints for kernel or embedded system development.☆106Updated this week
- ☆58Updated 6 months ago
- Rewrite Rule Inference Using Equality Saturation☆121Updated 9 months ago
- Resilient LL(1) parser generator for Rust☆130Updated last month
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆153Updated 10 months ago
- An IDE extension for debugging trait errors in Rust.☆107Updated last week
- Choose Rust types at compile-time via constants☆64Updated last year
- ⅋ — session types for Rust☆139Updated 3 months ago
- A fast, concurrent string interner☆149Updated 6 months ago
- A concurrent, append-only vector.☆150Updated 3 weeks ago