vaivaswatha / plironLinks
An Extensible Compiler IR Framework
☆189Updated 3 weeks ago
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☆429Updated this week
- A new register allocator☆234Updated last month
- Rust bindings to the MLIR C API.☆66Updated last week
- a model of MIR and the Rust type/trait system☆312Updated 3 weeks ago
- Define compiler intermediate representation usable by external tools☆79Updated last year
- A framework for writing plugins that integrate with the Rust compiler☆153Updated 4 months ago
- An attempt at safe imperative GPU programming.☆48Updated this week
- A meta-JIT library for Rust interpreters☆164Updated 2 years ago
- Recipes for avoiding bounds checks in Rust, without unsafe!☆116Updated 2 years ago
- ☆160Updated 5 months ago
- An IDE extension for debugging trait errors in Rust.☆186Updated 3 weeks ago
- Cycle-tracking garbage collector library for Rust☆193Updated 2 months ago
- Resilient LL(1) parser generator for Rust☆165Updated last week
- An experimental optimizing compiler for Bril☆72Updated 3 weeks ago
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated last year
- Reflection via DWARF.☆297Updated 2 years ago
- Interface with the rustc compiler for the purpose of program verification☆184Updated this week
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆161Updated last year
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- UB-free and deterministic rustc fuzzer☆88Updated last month
- A garbage collection library for Rust with zero unsafe code☆116Updated last year
- property testing and verification front-end for Rust☆216Updated last week
- Ygen - Yet another code generation libary (abandoned)☆111Updated last week
- A concurrent, append-only vector.☆191Updated last week
- automatially find crashes in the rust compiler & tooling☆75Updated last year
- LL(k) and LALR(1) parser generator for Rust☆224Updated last week
- Choose Rust types at compile-time via constants☆68Updated last year
- Experiments with structured concurrency in Rust☆382Updated last year
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆353Updated 2 weeks ago
- A fast, concurrent string interner☆151Updated last year