endorlabs / MIRAILinks
☆160Updated 5 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☆153Updated 4 months ago
- property testing and verification front-end for Rust☆216Updated last week
- Define compiler intermediate representation usable by external tools☆79Updated last year
- UB-free and deterministic rustc fuzzer☆88Updated last month
- automatially find crashes in the rust compiler & tooling☆75Updated last year
- Run Rust lints from dynamic libraries☆494Updated this week
- Interface with the rustc compiler for the purpose of program verification☆184Updated this week
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆172Updated 3 months ago
- An IDE extension for debugging trait errors in Rust.☆186Updated 3 weeks ago
- Verifying the Rust standard library☆265Updated this week
- Execute Rust code carefully, with extra checking along the way☆445Updated last month
- a model of MIR and the Rust type/trait system☆312Updated 3 weeks ago
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆552Updated 2 months ago
- Rust bindings for the Z3 solver.☆417Updated last week
- Cargo subcommand for viewing LLVM optimization remarks.☆178Updated last year
- High-precision and consistent benchmarking framework/harness for Rust☆156Updated this week
- A test framework for testing rustc diagnostics output☆33Updated last month
- Rust String Libraries by mcyoung☆192Updated 6 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- ☆76Updated last year
- Visualizing Rust codebases in a few seconds☆186Updated last year
- Rust Project Goals tracker☆84Updated last week
- A tool to help with minimization of Rust code☆59Updated 3 months ago
- A code ACL checker for Rust☆231Updated last month
- An experimental linting interface for Rust. Let's make custom lints a reality☆147Updated last year
- An Extensible Compiler IR Framework☆189Updated 3 weeks ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆276Updated 3 years ago
- A concurrent, append-only vector.☆191Updated last week
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆111Updated this week
- Library for snippet annotations☆327Updated 2 weeks ago