rust-lang / miriLinks
An interpreter for Rust's mid-level intermediate representation
☆5,881Updated 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,412Updated 2 months ago
- A small and fast async runtime for Rust☆4,740Updated 2 weeks ago
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,751Updated last week
- The Elegant Parser☆5,273Updated last week
- Tools for concurrent programming in Rust☆8,284Updated 2 weeks ago
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆5,096Updated last month
- Parser for Rust source code☆3,283Updated this week
- Application level tracing for Rust.☆6,496Updated last month
- Flexible concrete Error type built on std::Error☆6,412Updated 2 weeks ago
- derive(Error) for struct and enum error types☆5,330Updated 2 weeks ago
- PROST! a Protocol Buffers implementation for the Rust Language☆4,589Updated 3 weeks ago
- Rusty Object Notation☆3,834Updated this week
- Safe interop between Rust and C++☆6,649Updated 2 weeks ago
- a debugger for async rust!☆4,389Updated 2 months ago
- An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all in…☆3,896Updated this week
- Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]☆4,753Updated 2 months ago
- Create ridiculously fast Lexers☆3,437Updated this week
- Zero-copy deserialization framework for Rust☆3,996Updated last week
- Subcommand to show result of macro expansion☆3,028Updated 3 weeks ago
- LR(1) parser generator for Rust☆3,437Updated last week
- Rust parser combinator framework☆10,284Updated 5 months ago
- A binary encoder / decoder implementation in Rust.☆3,076Updated 5 months ago
- Rhai - An embedded scripting language for Rust.☆5,135Updated 3 weeks ago
- Rust port of Google's SwissTable hash map☆2,862Updated this week
- Graph data structure library for Rust.☆3,738Updated last week
- Concurrency permutation testing tool for Rust.☆2,592Updated 3 weeks ago
- Blazing fast concurrent HashMap for Rust.☆3,920Updated 11 months ago
- The Dark Arts of Advanced and Unsafe Rust Programming☆2,202Updated last week
- Serialization framework for Rust☆10,344Updated last month
- Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.☆3,267Updated last month