rust-lang / miriLinks
An interpreter for Rust's mid-level intermediate representation
☆5,225Updated this week
Alternatives and similar repositories for miri
Users that are interested in miri are comparing it to the libraries listed below
Sorting:
- Statistics-driven benchmarking library for Rust☆5,094Updated last month
- Tools for concurrent programming in Rust☆7,932Updated 3 weeks ago
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,850Updated last week
- Parser for Rust source code☆3,108Updated this week
- Application level tracing for Rust.☆6,004Updated last week
- LR(1) parser generator for Rust☆3,266Updated last week
- derive(Error) for struct and enum error types☆4,963Updated last week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,312Updated last week
- A small and fast async runtime for Rust☆4,248Updated last month
- Flexible concrete Error type built on std::Error☆6,031Updated last week
- The Elegant Parser☆4,984Updated 2 weeks ago
- PROST! a Protocol Buffers implementation for the Rust Language☆4,309Updated last week
- Async version of the Rust standard library☆4,043Updated 3 months ago
- Rhai - An embedded scripting language for Rust.☆4,670Updated last week
- An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all in…☆3,724Updated 7 months ago
- Rust parser combinator framework☆9,960Updated 4 months ago
- A binary encoder / decoder implementation in Rust.☆3,034Updated last week
- a debugger for async rust!☆4,045Updated last month
- Rusty Object Notation☆3,603Updated this week
- Zero-copy deserialization framework for Rust☆3,405Updated 2 weeks ago
- Subcommand to show result of macro expansion☆2,877Updated last week
- Rayon: A data parallelism library for Rust☆11,890Updated 2 months ago
- Safe interop between Rust and C++☆6,338Updated this week
- Serialization framework for Rust☆9,769Updated 3 weeks ago
- Create ridiculously fast Lexers☆3,195Updated last week
- Graph data structure library for Rust.☆3,376Updated last week
- Concurrency permutation testing tool for Rust.☆2,392Updated 2 months ago
- Extra iterator adaptors, iterator methods, free functions, and macros.☆2,949Updated this week
- Zero-cost asynchronous programming in Rust☆5,652Updated last month
- Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.☆3,012Updated 2 weeks ago