Alternatives and similar repositories for miri

Users that are interested in miri are comparing it to the libraries listed below

• bheisler / criterion.rs
  Statistics-driven benchmarking library for Rust
  ☆5,230Updated last month
• flamegraph-rs / flamegraph
  Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
  ☆5,486Updated 3 weeks ago
• tokio-rs / tracing
  Application level tracing for Rust.
  ☆6,196Updated last week
• smol-rs / smol
  A small and fast async runtime for Rust
  ☆4,463Updated 3 weeks ago
• crossbeam-rs / crossbeam
  Tools for concurrent programming in Rust
  ☆8,068Updated 3 months ago
• dtolnay / anyhow
  Flexible concrete Error type built on std::Error
  ☆6,195Updated this week
• tokio-rs / console
  a debugger for async rust!
  ☆4,193Updated this week
• rust-lang / rust-bindgen
  Automatically generates Rust FFI bindings to C (and some C++) libraries.
  ☆4,942Updated 2 weeks ago
• dtolnay / syn
  Parser for Rust source code
  ☆3,165Updated last week
• dtolnay / thiserror
  derive(Error) for struct and enum error types
  ☆5,105Updated this week
• pest-parser / pest
  The Elegant Parser
  ☆5,093Updated this week
• lalrpop / lalrpop
  LR(1) parser generator for Rust
  ☆3,339Updated 2 weeks ago
• dtolnay / cargo-expand
  Subcommand to show result of macro expansion
  ☆2,927Updated last week
• tokio-rs / loom
  Concurrency permutation testing tool for Rust.
  ☆2,457Updated last month
• bincode-org / bincode
  A binary encoder / decoder implementation in Rust.
  ☆3,082Updated last month
• petgraph / petgraph
  Graph data structure library for Rust.
  ☆3,508Updated this week
• rust-lang / hashbrown
  Rust port of Google's SwissTable hash map
  ☆2,753Updated 2 weeks ago
• rust-lang / regex
  An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all in…
  ☆3,785Updated 3 weeks ago
• rkyv / rkyv
  Zero-copy deserialization framework for Rust
  ☆3,510Updated last month
• Amanieu / parking_lot
  Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.
  ☆3,070Updated last month
• rust-bakery / nom
  Rust parser combinator framework
  ☆10,080Updated 2 weeks ago
• tokio-rs / prost
  PROST! a Protocol Buffers implementation for the Rust Language
  ☆4,410Updated this week
• dtolnay / proc-macro-workshop
  Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]
  ☆4,609Updated this week
• rust-itertools / itertools
  Extra iterator adaptors, iterator methods, free functions, and macros.
  ☆3,005Updated 2 weeks ago
• ron-rs / ron
  Rusty Object Notation
  ☆3,696Updated last week
• rhaiscript / rhai
  Rhai - An embedded scripting language for Rust.
  ☆4,849Updated 2 weeks ago
• rayon-rs / rayon
  Rayon: A data parallelism library for Rust
  ☆12,186Updated 2 weeks ago
• nix-rust / nix
  Rust friendly bindings to *nix APIs
  ☆2,890Updated 3 weeks ago
• rust-lang / futures-rs
  Zero-cost asynchronous programming in Rust
  ☆5,717Updated last month
• async-rs / async-std
  Async version of the Rust standard library
  ☆4,056Updated last month