endorlabs / MIRAILinks
☆144Updated 2 months ago
Alternatives and similar repositories for MIRAI
Users that are interested in MIRAI are comparing it to the libraries listed below
Sorting:
- Define compiler intermediate representation usable by external tools☆74Updated 11 months ago
- A framework for writing plugins that integrate with the Rust compiler☆151Updated last month
- property testing and verification front-end for Rust☆204Updated last week
- Interface with the rustc compiler for the purpose of program verification☆145Updated last week
- A code ACL checker for Rust☆223Updated 2 months ago
- UB-free and deterministic rustc fuzzer☆80Updated last week
- An IDE extension for debugging trait errors in Rust.☆172Updated 3 weeks ago
- An experimental linting interface for Rust. Let's make custom lints a reality☆148Updated last year
- Cargo subcommand for viewing LLVM optimization remarks.☆176Updated last year
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆169Updated 3 weeks ago
- Verifying the Rust standard library☆243Updated this week
- Execute Rust code carefully, with extra checking along the way☆416Updated this week
- a model of MIR and the Rust type/trait system☆301Updated 2 months ago
- automatially find crashes in the rust compiler & tooling☆74Updated last year
- Run Rust lints from dynamic libraries☆458Updated this week
- Track and query Cargo dependency graphs.☆222Updated this week
- Library for snippet annotations☆315Updated 2 weeks ago
- High-precision and consistent benchmarking framework/harness for Rust☆139Updated this week
- in-place allocation-reusing queues for Rust☆374Updated 11 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- Fork of std::Arc with lots of utilities useful for FFI☆234Updated 3 weeks ago
- Visualizing Rust codebases in a few seconds☆181Updated 10 months ago
- Library and proc macro to analyze memory usage of data structures in rust.☆154Updated this week
- Deadlock free mutexes☆174Updated 2 months ago
- Atomically updatable variants of Arc and Weak for lock-free concurrency.☆182Updated 7 months ago
- Public repository for the Rust keyword generics initiative☆100Updated 9 months ago
- Rust String Libraries by mcyoung☆187Updated 4 months ago
- Creates graphviz dependency graphs for Rust projects that use Cargo☆182Updated 11 months ago
- Experiments with structured concurrency in Rust☆365Updated 10 months ago
- a lock-free concurrent slab (experimental)☆282Updated 5 months ago