endorlabs / MIRAILinks
☆156Updated 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 3 months ago
- property testing and verification front-end for Rust☆213Updated last month
- Define compiler intermediate representation usable by external tools☆79Updated last year
- UB-free and deterministic rustc fuzzer☆88Updated 3 weeks ago
- Run Rust lints from dynamic libraries☆482Updated this week
- automatially find crashes in the rust compiler & tooling☆74Updated last year
- Verifying the Rust standard library☆262Updated this week
- Interface with the rustc compiler for the purpose of program verification☆180Updated this week
- An IDE extension for debugging trait errors in Rust.☆186Updated this week
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆173Updated 2 months ago
- a model of MIR and the Rust type/trait system☆309Updated last month
- Cargo subcommand for viewing LLVM optimization remarks.☆178Updated last year
- High-precision and consistent benchmarking framework/harness for Rust☆156Updated this week
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆552Updated 2 months ago
- Visualizing Rust codebases in a few seconds☆184Updated last year
- A test framework for testing rustc diagnostics output☆33Updated 3 weeks ago
- Execute Rust code carefully, with extra checking along the way☆440Updated last month
- Rust String Libraries by mcyoung☆191Updated 6 months ago
- Rust bindings for the Z3 solver.☆413Updated last week
- Experiments with structured concurrency in Rust☆375Updated last year
- A tool to help with minimization of Rust code☆57Updated 3 months ago
- An experimental linting interface for Rust. Let's make custom lints a reality☆147Updated last year
- Generating structured data from arbitrary, unstructured input.☆798Updated this week
- Rust bindings and utilities for LLVM’s libFuzzer☆236Updated last month
- Mental model for unsafe in Rust☆18Updated 5 months ago
- An Extensible Compiler IR Framework☆184Updated last week
- A code ACL checker for Rust☆229Updated last week
- Rust Project Goals tracker☆82Updated this week
- Callgraph generation for rust project☆73Updated 3 years ago
- Program startup and thread support written in Rust☆189Updated 2 months ago