endorlabs / MIRAILinks
☆166Updated 7 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☆157Updated last week
- property testing and verification front-end for Rust☆218Updated last month
- Define compiler intermediate representation usable by external tools☆85Updated last month
- Verifying the Rust standard library☆290Updated last week
- UB-free and deterministic rustc fuzzer☆91Updated 2 months ago
- automatially find crashes in the rust compiler & tooling☆75Updated last year
- Run Rust lints from dynamic libraries☆505Updated this week
- Interface with the rustc compiler for the purpose of program verification☆194Updated last week
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆172Updated 4 months ago
- High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.☆165Updated last week
- Execute Rust code carefully, with extra checking along the way☆448Updated last month
- a model of MIR and the Rust type/trait system☆316Updated last month
- An IDE extension for debugging trait errors in Rust.☆271Updated 2 weeks ago
- Rust bindings for the Z3 solver.☆430Updated this week
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆554Updated 4 months ago
- Cargo subcommand for viewing LLVM optimization remarks.☆183Updated last year
- Rust String Libraries by mcyoung☆193Updated 8 months ago
- A test framework for testing rustc diagnostics output☆33Updated 3 weeks ago
- An experimental linting interface for Rust. Let's make custom lints a reality☆147Updated last year
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- Visualizing Rust codebases in a few seconds☆187Updated last year
- An Extensible Compiler IR Framework☆207Updated last month
- Experiments with structured concurrency in Rust☆385Updated last year
- Library for snippet annotations☆334Updated this week
- Generating structured data from arbitrary, unstructured input.☆824Updated last month
- Fork of std::Arc with lots of utilities useful for FFI☆257Updated 2 weeks ago
- Rust Project Goals tracker☆87Updated this week
- A tool to help with minimization of Rust code☆59Updated 5 months ago
- A code ACL checker for Rust☆254Updated 2 weeks ago
- Rust microbenchmarking harness based on paired-testing methodology☆140Updated this week