endorlabs / MIRAILinks
☆196Updated 10 months ago
Alternatives and similar repositories for MIRAI
Users that are interested in MIRAI are comparing it to the libraries listed below
Sorting:
- A framework for writing plugins that integrate with the Rust compiler☆163Updated 4 months ago
- property testing and verification front-end for Rust☆225Updated last week
- Define compiler intermediate representation usable by external tools☆102Updated 2 months ago
- automatially find crashes in the rust compiler & tooling☆80Updated last year
- UB-free and deterministic rustc fuzzer☆95Updated last month
- Run Rust lints from dynamic libraries☆530Updated this week
- Verifying the Rust standard library☆320Updated last week
- Analyze Rust crates without touching compiler internals☆281Updated this week
- Cargo subcommand for viewing LLVM optimization remarks.☆205Updated 3 months ago
- High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.☆219Updated this week
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆178Updated 8 months ago
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆583Updated 3 months ago
- Rust bindings for the Z3 solver.☆478Updated 3 weeks ago
- Execute Rust code carefully, with extra checking along the way☆475Updated last month
- a model of MIR and the Rust type/trait system☆326Updated last week
- A test framework for testing rustc diagnostics output☆38Updated last month
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- A code ACL checker for Rust☆267Updated last month
- Rust String Libraries by mcyoung☆199Updated last year
- Rust Project Goals tracker☆125Updated this week
- An IDE extension for debugging trait errors in Rust.☆312Updated 4 months ago
- Creates graphviz dependency graphs for Rust projects that use Cargo☆208Updated 7 months ago
- Program startup and thread support written in Rust☆204Updated 2 weeks ago
- An experimental linting interface for Rust. Let's make custom lints a reality☆149Updated 2 years ago
- A tool to help with minimization of Rust code☆66Updated 3 months ago
- A fast and safe implementation of stackful coroutines in Rust☆348Updated 2 months ago
- Library for snippet annotations☆481Updated last week
- Fast, efficient, and robust memory reclamation for Rust.☆465Updated 4 months ago
- A concurrent, append-only vector.☆208Updated 5 months ago
- Recipes for avoiding bounds checks in Rust, without unsafe!☆136Updated 3 years ago