☆200Mar 4, 2025Updated last year
Alternatives and similar repositories for MIRAI
Users that are interested in MIRAI are comparing it to the libraries listed below
Sorting:
- Rust mid-level IR Abstract Interpreter☆1,009Aug 22, 2024Updated last year
- A garbage collection library for Rust with zero unsafe code☆118Jul 15, 2024Updated last year
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- Verify naive = datafrog-opt, in rust/polonius☆15Jun 26, 2025Updated 8 months ago
- An alternative `std`-like implementation built on origin☆35Mar 7, 2025Updated last year
- Analyze Rust crates without touching compiler internals☆299Updated this week
- ☆20Feb 9, 2026Updated 3 weeks ago
- Kani Rust Verifier☆2,969Updated this week
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆584Oct 21, 2025Updated 4 months ago
- codesort sorts code☆100Nov 26, 2025Updated 3 months ago
- Program startup and thread support written in Rust☆207Feb 18, 2026Updated 2 weeks ago
- A verification toolchain for Rust programs☆588Updated this week
- Generating structured data from arbitrary, unstructured input.☆848Dec 16, 2025Updated 2 months ago
- This is a static analysis project for analyzing Rust programs.☆138Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,744Updated this week
- SIMD-optimized B+ Tree implementation that uses integer keys☆93Jul 13, 2025Updated 7 months ago
- Hash trait that is object-safe☆36Dec 20, 2025Updated 2 months ago
- a model of MIR and the Rust type/trait system☆329Feb 25, 2026Updated last week
- Minimal TOML library with few dependencies☆83Mar 3, 2025Updated last year
- Inject bugs and see if your tests catch them!☆1,091Feb 24, 2026Updated last week
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- The CompCert formally-verified C compiler☆10Feb 25, 2026Updated last week
- Hybrid typenum/const generic arrays☆20Feb 12, 2026Updated 3 weeks ago
- A simple macro to create correct opaque pointers☆21Apr 23, 2021Updated 4 years ago
- Refinement Types for Rust☆836Updated this week
- A Rust verification tool☆385Updated this week
- Exhaustive iteration trait in Rust☆21Updated this week
- ⏳ Ruby `Time#strftime` parser and formatter☆16Nov 3, 2025Updated 4 months ago
- Safe, zero-cost downcasting for limited compile-time specialization.☆181Aug 11, 2025Updated 6 months ago
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆181May 5, 2025Updated 10 months ago
- A framework for writing plugins that integrate with the Rust compiler☆164Sep 26, 2025Updated 5 months ago
- Type-erased core::Discriminant<T>☆38Feb 16, 2026Updated 2 weeks ago
- An implementation of libc written in Rust☆320Feb 26, 2026Updated last week
- A precise specification for "Rust lite / MIR plus"☆970Updated this week
- ☆37May 15, 2022Updated 3 years ago
- Rust bindings for PANDA and libpanda☆24Dec 13, 2024Updated last year
- 对 Rust 编写的代码运行一系列检查工具，并对结果进行报告和统计☆62Dec 27, 2025Updated 2 months ago
- ☆17Aug 31, 2023Updated 2 years ago
- Library and proc macro to analyze memory usage of data structures in rust.☆193Feb 25, 2026Updated last week