endorlabs / MIRAIView external linksLinks
☆200Mar 4, 2025Updated 11 months ago
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,010Aug 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 7 months ago
- An alternative `std`-like implementation built on origin☆35Mar 7, 2025Updated 11 months ago
- Analyze Rust crates without touching compiler internals☆287Feb 6, 2026Updated last week
- ☆17Updated this week
- Kani Rust Verifier☆2,903Updated this week
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆583Oct 21, 2025Updated 3 months ago
- codesort sorts code☆100Nov 26, 2025Updated 2 months ago
- Program startup and thread support written in Rust☆207Feb 6, 2026Updated last week
- A verification toolchain for Rust programs☆554Feb 7, 2026Updated last week
- Generating structured data from arbitrary, unstructured input.☆848Dec 16, 2025Updated last month
- This is a static analysis project for analyzing Rust programs.☆138Feb 4, 2026Updated last week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,738Feb 2, 2026Updated last week
- SIMD-optimized B+ Tree implementation that uses integer keys☆93Jul 13, 2025Updated 7 months ago
- Hash trait that is object-safe☆37Dec 20, 2025Updated last month
- a model of MIR and the Rust type/trait system☆325Updated this week
- Minimal TOML library with few dependencies☆83Mar 3, 2025Updated 11 months ago
- Inject bugs and see if your tests catch them!☆1,076Updated this week
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 10 months ago
- The CompCert formally-verified C compiler☆10Updated this week
- Hybrid typenum/const generic arrays☆20Feb 3, 2026Updated last week
- Exhaustive iteration trait in Rust☆21Feb 1, 2026Updated last week
- A simple macro to create correct opaque pointers☆21Apr 23, 2021Updated 4 years ago
- Refinement Types for Rust☆825Feb 6, 2026Updated last week
- A Rust verification tool☆372Updated this week
- ⏳ Ruby `Time#strftime` parser and formatter☆16Nov 3, 2025Updated 3 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☆179May 5, 2025Updated 9 months ago
- A framework for writing plugins that integrate with the Rust compiler☆164Sep 26, 2025Updated 4 months ago
- Type-erased core::Discriminant<T>☆38Updated this week
- An implementation of libc written in Rust☆317Jan 21, 2026Updated 3 weeks ago
- A precise specification for "Rust lite / MIR plus"☆963Jan 28, 2026Updated 2 weeks ago
- ☆37May 15, 2022Updated 3 years ago
- Rust bindings for PANDA and libpanda☆24Dec 13, 2024Updated last year
- ☆17Aug 31, 2023Updated 2 years ago
- 对 Rust 编写的代码运行一系列检查工具，并对结果进行报告和统计☆62Dec 27, 2025Updated last month
- Library and proc macro to analyze memory usage of data structures in rust.☆192Updated this week