An interpreter for Rust's mid-level intermediate representation
☆6,051Apr 26, 2026Updated this week
Alternatives and similar repositories for miri
Users that are interested in miri are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Concurrency permutation testing tool for Rust.☆2,684Feb 20, 2026Updated 2 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,997Feb 8, 2026Updated 2 months ago
- Defines the Rust borrow checker.☆1,609Jun 6, 2025Updated 10 months ago
- Tools for concurrent programming in Rust☆8,419Feb 22, 2026Updated 2 months ago
- Kani Rust Verifier☆3,053Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Rayon: A data parallelism library for Rust☆12,929Updated this week
- Statistics-driven benchmarking library for Rust☆5,465Apr 23, 2026Updated last week
- Application level tracing for Rust.☆6,648Apr 17, 2026Updated last week
- Parser for Rust source code☆3,312Apr 17, 2026Updated last week
- A Rust compiler front-end for IDEs☆16,305Updated this week
- Rust parser combinator framework☆10,367Aug 26, 2025Updated 8 months ago
- A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/☆13,103Updated this week
- Zero-cost asynchronous programming in Rust☆5,843Apr 12, 2026Updated 2 weeks ago
- Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.☆3,326Feb 21, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Rust port of Google's SwissTable hash map☆2,912Apr 20, 2026Updated last week
- Safe interop between Rust and C++☆6,707Updated this week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,898Apr 20, 2026Updated last week
- A fast bump allocation arena for Rust☆2,178Updated this week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,829Updated this week
- Subcommand to show result of macro expansion☆3,071Feb 12, 2026Updated 2 months ago
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,924Updated this week
- Flexible concrete Error type built on std::Error☆6,496Mar 24, 2026Updated last month
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆5,176Apr 22, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- a debugger for async rust!☆4,506Apr 9, 2026Updated 2 weeks ago
- Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utili…☆7,220Updated this week
- A small and fast async runtime for Rust☆4,853Mar 23, 2026Updated last month
- Serialization framework for Rust☆10,564Mar 6, 2026Updated last month
- A full featured, fast Command Line Argument Parser for Rust☆16,333Apr 22, 2026Updated last week
- Cranelift based backend for rustc☆2,030Apr 23, 2026Updated last week
- Command line helpers for fuzzing☆1,793Feb 10, 2026Updated 2 months ago
- A modern TLS library in Rust☆7,367Updated this week
- A binary encoder / decoder implementation in Rust.☆3,073Aug 15, 2025Updated 8 months ago
- 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.
- Metal I/O library for Rust.☆6,954Apr 17, 2026Updated last week
- A hash table with consistent order and fast iteration; access items by key or sequence index☆2,349Apr 18, 2026Updated last week
- derive(Error) for struct and enum error types☆5,412Mar 24, 2026Updated last month
- Format Rust code☆6,805Apr 21, 2026Updated last week
- Extra iterator adaptors, iterator methods, free functions, and macros.☆3,115Apr 18, 2026Updated last week
- RFCs for changes to Rust☆6,449Updated this week
- A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...☆31,754Apr 20, 2026Updated last week