rust-lang / miriLinks
An interpreter for Rust's mid-level intermediate representation
☆5,393Updated 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,216Updated last month
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,924Updated this week
- The Elegant Parser☆5,082Updated 2 months ago
- Flexible concrete Error type built on std::Error☆6,164Updated last week
- Parser for Rust source code☆3,152Updated last week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,462Updated last week
- A small and fast async runtime for Rust☆4,439Updated last week
- derive(Error) for struct and enum error types☆5,072Updated last week
- Tools for concurrent programming in Rust☆8,047Updated 2 months ago
- Application level tracing for Rust.☆6,173Updated this week
- An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all in…☆3,767Updated this week
- LR(1) parser generator for Rust☆3,321Updated last week
- a debugger for async rust!☆4,177Updated 3 months ago
- PROST! a Protocol Buffers implementation for the Rust Language☆4,380Updated this week
- Rust parser combinator framework☆10,062Updated this week
- Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]☆4,594Updated last week
- Rusty Object Notation☆3,677Updated this week
- Subcommand to show result of macro expansion☆2,919Updated this week
- Serialization framework for Rust☆9,921Updated this week
- Rust port of Google's SwissTable hash map☆2,728Updated last week
- Rayon: A data parallelism library for Rust☆12,123Updated 2 weeks ago
- Async version of the Rust standard library☆4,052Updated 2 weeks ago
- Zero-cost asynchronous programming in Rust☆5,708Updated last month
- A binary encoder / decoder implementation in Rust.☆3,083Updated 2 weeks ago
- Rhai - An embedded scripting language for Rust.☆4,809Updated last week
- Strongly typed JSON library for Rust☆5,303Updated last week
- Safe interop between Rust and C++☆6,433Updated this week
- Create ridiculously fast Lexers☆3,253Updated this week
- Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.☆3,060Updated 3 weeks ago
- Graph data structure library for Rust.☆3,494Updated this week