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,285Updated 2 months ago
• crossbeam-rs / crossbeam
  Tools for concurrent programming in Rust
  ☆8,112Updated 4 months ago
• smol-rs / smol
  A small and fast async runtime for Rust
  ☆4,530Updated 2 weeks ago
• dtolnay / anyhow
  Flexible concrete Error type built on std::Error
  ☆6,231Updated 2 weeks ago
• tokio-rs / tracing
  Application level tracing for Rust.
  ☆6,257Updated last month
• pest-parser / pest
  The Elegant Parser
  ☆5,134Updated 2 weeks ago
• dtolnay / thiserror
  derive(Error) for struct and enum error types
  ☆5,159Updated last week
• rust-lang / rust-bindgen
  Automatically generates Rust FFI bindings to C (and some C++) libraries.
  ☆4,967Updated last week
• flamegraph-rs / flamegraph
  Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
  ☆5,544Updated 2 weeks ago
• tokio-rs / console
  a debugger for async rust!
  ☆4,241Updated last week
• lalrpop / lalrpop
  LR(1) parser generator for Rust
  ☆3,362Updated last month
• dtolnay / syn
  Parser for Rust source code
  ☆3,185Updated 2 weeks ago
• rayon-rs / rayon
  Rayon: A data parallelism library for Rust
  ☆12,270Updated this week
• rust-bakery / nom
  Rust parser combinator framework
  ☆10,130Updated last month
• petgraph / petgraph
  Graph data structure library for Rust.
  ☆3,555Updated 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,803Updated last week
• rhaiscript / rhai
  Rhai - An embedded scripting language for Rust.
  ☆4,919Updated this week
• rust-lang / hashbrown
  Rust port of Google's SwissTable hash map
  ☆2,778Updated 2 weeks ago
• rust-lang / futures-rs
  Zero-cost asynchronous programming in Rust
  ☆5,730Updated 3 months ago
• tokio-rs / prost
  PROST! a Protocol Buffers implementation for the Rust Language
  ☆4,432Updated last week
• serde-rs / serde
  Serialization framework for Rust
  ☆10,057Updated this week
• dtolnay / cargo-expand
  Subcommand to show result of macro expansion
  ☆2,948Updated 2 weeks ago
• ron-rs / ron
  Rusty Object Notation
  ☆3,719Updated 3 weeks ago
• async-rs / async-std
  Async version of the Rust standard library
  ☆4,057Updated 2 months ago
• Amanieu / parking_lot
  Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.
  ☆3,108Updated 2 weeks ago
• serde-rs / json
  Strongly typed JSON library for Rust
  ☆5,340Updated last month
• bincode-org / bincode
  A binary encoder / decoder implementation in Rust.
  ☆3,080Updated 2 months ago
• dtolnay / cxx
  Safe interop between Rust and C++
  ☆6,499Updated this week
• rustls / rustls
  A modern TLS library in Rust
  ☆7,018Updated this week
• rkyv / rkyv
  Zero-copy deserialization framework for Rust
  ☆3,559Updated 2 weeks ago