endorlabs / MIRAILinks
☆174Updated 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☆160Updated 3 weeks ago
- property testing and verification front-end for Rust☆218Updated last month
- Define compiler intermediate representation usable by external tools☆87Updated last month
- Run Rust lints from dynamic libraries☆509Updated this week
- Verifying the Rust standard library☆296Updated last week
- UB-free and deterministic rustc fuzzer☆90Updated 3 months ago
- Interface with the rustc compiler for the purpose of program verification☆200Updated last week
- automatially find crashes in the rust compiler & tooling☆79Updated last year
- Cargo subcommand for viewing LLVM optimization remarks.☆185Updated last week
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆172Updated 5 months ago
- Visualizing Rust codebases in a few seconds☆187Updated last year
- High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.☆171Updated last week
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆556Updated 3 weeks ago
- An IDE extension for debugging trait errors in Rust.☆277Updated last month
- Execute Rust code carefully, with extra checking along the way☆451Updated 2 months ago
- Rust bindings for the Z3 solver.☆438Updated this week
- a model of MIR and the Rust type/trait system☆317Updated 2 months ago
- An Extensible Compiler IR Framework☆215Updated 2 weeks ago
- Generating structured data from arbitrary, unstructured input.☆825Updated 2 months ago
- A code ACL checker for Rust☆258Updated 2 weeks ago
- What if we could check declarative macros before using them?☆50Updated 11 months ago
- Library and proc macro to analyze memory usage of data structures in rust.☆166Updated this week
- Program startup and thread support written in Rust☆194Updated 5 months ago
- Rust String Libraries by mcyoung☆195Updated 8 months ago
- Atomically updatable variants of Arc and Weak for lock-free concurrency.☆185Updated last year
- Recipes for avoiding bounds checks in Rust, without unsafe!☆127Updated 2 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- Rust microbenchmarking harness based on paired-testing methodology☆142Updated this week
- A concurrent, append-only vector.☆202Updated 2 months ago
- A new register allocator☆239Updated last month