rust-lang / miriLinks
An interpreter for Rust's mid-level intermediate representation
☆5,154Updated 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,043Updated 2 weeks ago
- Application level tracing for Rust.☆5,950Updated this week
- A small and fast async runtime for Rust☆4,198Updated last week
- Tools for concurrent programming in Rust☆7,885Updated last month
- The Elegant Parser☆4,950Updated 2 months ago
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,244Updated last week
- derive(Error) for struct and enum error types☆4,914Updated 2 weeks ago
- Flexible concrete Error type built on std::Error☆5,964Updated 2 weeks ago
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,803Updated last week
- Rust parser combinator framework☆9,921Updated 3 months ago
- Async version of the Rust standard library☆4,046Updated 2 months ago
- a debugger for async rust!☆3,939Updated 2 weeks ago
- Zero-cost asynchronous programming in Rust☆5,620Updated last week
- PROST! a Protocol Buffers implementation for the Rust Language☆4,266Updated last week
- Rayon: A data parallelism library for Rust☆11,796Updated last month
- LR(1) parser generator for Rust☆3,247Updated this week
- Zero-copy deserialization framework for Rust☆3,270Updated last month
- Rusty Object Notation☆3,573Updated last week
- Rhai - An embedded scripting language for Rust.☆4,624Updated this week
- Serialization framework for Rust☆9,705Updated 2 weeks ago
- Rust port of Google's SwissTable hash map☆2,644Updated this week
- async fn(Request) -> Result<Response, Error>☆3,798Updated last month
- Create ridiculously fast Lexers☆3,157Updated last month
- Parser for Rust source code☆3,083Updated 2 weeks ago
- Blazing fast concurrent HashMap for Rust.☆3,470Updated 2 months ago
- A binary encoder / decoder implementation in Rust.☆3,001Updated 2 weeks ago
- An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all in…☆3,700Updated 6 months ago
- Graph data structure library for Rust.☆3,335Updated this week
- Extra iterator adaptors, iterator methods, free functions, and macros.☆2,928Updated last month
- Concurrency permutation testing tool for Rust.☆2,352Updated last month