☆220May 29, 2026Updated last month
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
- ☆36May 15, 2022Updated 4 years ago
- Kani Rust Verifier☆3,190Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Analyze Rust crates without touching compiler internals☆373Updated this 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☆138Jul 15, 2024Updated last year
- Verify naive = datafrog-opt, in rust/polonius☆16Jun 26, 2025Updated last year
- ☆64Feb 15, 2023Updated 3 years ago
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆590May 15, 2026Updated last month
- ☆108Jun 2, 2026Updated last month
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,783Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A verification toolchain for Rust programs☆829Updated this week
- Rust bindings for PANDA and libpanda☆24Dec 13, 2024Updated last year
- A static analysis tool for Rust programs.☆152Updated 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 29, 2026Updated last week
- a model of MIR and the Rust type/trait system☆348Updated this week
- Generating structured data from arbitrary, unstructured input.☆867Jun 22, 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Define compiler intermediate representation usable by external tools☆113Jun 18, 2026Updated 3 weeks ago
- deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses☆31Nov 28, 2025Updated 7 months ago
- A curated list of awesome Rust checkers☆68Jun 13, 2026Updated 3 weeks ago
- Hash trait that is object-safe☆36Jun 24, 2026Updated 2 weeks ago
- A framework for writing plugins that integrate with the Rust compiler☆170Jun 7, 2026Updated last month
- Inject bugs and see if your tests catch them!☆1,215Updated this week
- codesort sorts code☆103Nov 26, 2025Updated 7 months ago
- ☆47Jun 26, 2026Updated last week
- Refinement Types for Rust☆890Jun 30, 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,381Updated this week
- Whole program static stack analysis☆660Oct 28, 2024Updated last year
- A Rust verification tool☆455Updated this week
- A precise specification for "Rust lite / MIR plus"☆997Jul 2, 2026Updated last week
- Tag the safety properties of the Rust standard library.☆21Jun 30, 2026Updated last week
- Creusot helps you prove your Rust code is correct.☆1,788Updated this week
- Make production Rust binaries auditable☆831May 28, 2026Updated last month