☆218May 29, 2026Updated 2 weeks ago
Alternatives and similar repositories for MIRAI
Users that are interested in MIRAI are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust mid-level IR Abstract Interpreter☆1,010Aug 22, 2024Updated last year
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- ☆37May 15, 2022Updated 4 years ago
- Kani Rust Verifier☆3,129Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Analyze Rust crates without touching compiler internals☆365Jun 12, 2026Updated last week
- ☆20Apr 13, 2026Updated 2 months ago
- An alternative `std`-like implementation built on origin☆36Mar 7, 2025Updated last year
- A garbage collection library for Rust with zero unsafe code☆137Jul 15, 2024Updated last year
- Verify naive = datafrog-opt, in rust/polonius☆16Jun 26, 2025Updated 11 months ago
- ☆64Feb 15, 2023Updated 3 years ago
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆591May 15, 2026Updated last month
- ☆103Jun 2, 2026Updated 2 weeks ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,776Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A verification toolchain for Rust programs☆814Updated this week
- Rust bindings for PANDA and libpanda☆24Dec 13, 2024Updated last year
- A static analysis tool for Rust programs.☆151Updated this week
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- Hybrid typenum/const generic arrays☆23Jun 8, 2026Updated last week
- a model of MIR and the Rust type/trait system☆346Updated this week
- Generating structured data from arbitrary, unstructured input.☆867Jun 2, 2026Updated 2 weeks ago
- A simple macro to create correct opaque pointers☆21Apr 23, 2021Updated 5 years ago
- Program startup and thread support written in Rust☆217Feb 18, 2026Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Define compiler intermediate representation usable by external tools☆111Nov 20, 2025Updated 6 months ago
- deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses☆31Nov 28, 2025Updated 6 months ago
- A curated list of awesome Rust checkers☆68Updated this week
- Hash trait that is object-safe☆36Mar 24, 2026Updated 2 months ago
- A framework for writing plugins that integrate with the Rust compiler☆170Jun 7, 2026Updated last week
- Inject bugs and see if your tests catch them!☆1,198Jun 6, 2026Updated last week
- codesort sorts code☆102Nov 26, 2025Updated 6 months ago
- ☆43Jun 11, 2026Updated last week
- Refinement Types for Rust☆880Jun 12, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An interpreter for Rust's mid-level intermediate representation☆6,323Updated this week
- Whole program static stack analysis☆660Oct 28, 2024Updated last year
- A Rust verification tool☆444Jun 11, 2026Updated last week
- A precise specification for "Rust lite / MIR plus"☆994Jun 2, 2026Updated 2 weeks ago
- Tag the safety properties of the Rust standard library.☆21Updated this week
- Creusot helps you prove your Rust code is correct.☆1,772Updated this week
- Make production Rust binaries auditable☆828May 28, 2026Updated 3 weeks ago