vaivaswatha / plironLinks
An Extensible Compiler IR Framework
☆184Updated last week
Alternatives and similar repositories for pliron
Users that are interested in pliron are comparing it to the libraries listed below
Sorting:
- The rustic MLIR bindings in Rust☆423Updated 2 weeks ago
- Rust bindings to the MLIR C API.☆65Updated last month
- A new register allocator☆234Updated last week
- Define compiler intermediate representation usable by external tools☆78Updated last year
- An attempt at safe imperative GPU programming.☆45Updated last week
- a model of MIR and the Rust type/trait system☆309Updated last month
- A framework for writing plugins that integrate with the Rust compiler☆153Updated 3 months ago
- Recipes for avoiding bounds checks in Rust, without unsafe!☆116Updated 2 years ago
- Resilient LL(1) parser generator for Rust☆164Updated last week
- An IDE extension for debugging trait errors in Rust.☆186Updated this week
- Cycle-tracking garbage collector library for Rust☆192Updated last month
- Propositional logic with types in Rust☆62Updated 2 years ago
- ☆156Updated 5 months ago
- A meta-JIT library for Rust interpreters☆164Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated last year
- property testing and verification front-end for Rust☆213Updated last month
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆350Updated last week
- Interface with the rustc compiler for the purpose of program verification☆180Updated this week
- Safe, portable, high performance compute (GPGPU) kernels.☆235Updated last year
- A garbage collection library for Rust with zero unsafe code☆116Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆161Updated last year
- UB-free and deterministic rustc fuzzer☆88Updated 3 weeks ago
- An experimental optimizing compiler for Bril☆70Updated 3 weeks ago
- Context-Generic Programming: modular programming paradigm for Rust☆153Updated this week
- Reflection via DWARF.☆297Updated 2 years ago
- Fast, efficient, and robust memory reclamation for Rust.☆429Updated last month
- Ygen - Yet another code generation libary (abandoned)☆110Updated this week
- A concurrent, append-only vector.☆187Updated last month
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆99Updated last month
- High-precision and consistent benchmarking framework/harness for Rust☆156Updated this week