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,369Updated 3 months ago
• dtolnay / thiserror
  derive(Error) for struct and enum error types
  ☆5,216Updated last week
• rust-lang / rust-bindgen
  Automatically generates Rust FFI bindings to C (and some C++) libraries.
  ☆5,016Updated 2 weeks ago
• smol-rs / smol
  A small and fast async runtime for Rust
  ☆4,618Updated 3 weeks ago
• crossbeam-rs / crossbeam
  Tools for concurrent programming in Rust
  ☆8,182Updated 5 months ago
• dtolnay / anyhow
  Flexible concrete Error type built on std::Error
  ☆6,299Updated last week
• flamegraph-rs / flamegraph
  Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
  ☆5,618Updated this week
• pest-parser / pest
  The Elegant Parser
  ☆5,196Updated last week
• tokio-rs / tracing
  Application level tracing for Rust.
  ☆6,358Updated this week
• dtolnay / syn
  Parser for Rust source code
  ☆3,224Updated this week
• rust-bakery / nom
  Rust parser combinator framework
  ☆10,201Updated 3 months ago
• tokio-rs / console
  a debugger for async rust!
  ☆4,305Updated 2 weeks ago
• tokio-rs / prost
  PROST! a Protocol Buffers implementation for the Rust Language
  ☆4,483Updated last week
• rust-lang / regex
  An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all in…
  ☆3,839Updated last month
• dtolnay / cargo-expand
  Subcommand to show result of macro expansion
  ☆2,985Updated last week
• rust-lang / futures-rs
  Zero-cost asynchronous programming in Rust
  ☆5,763Updated 4 months ago
• dtolnay / proc-macro-workshop
  Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]
  ☆4,674Updated last week
• rhaiscript / rhai
  Rhai - An embedded scripting language for Rust.
  ☆4,999Updated this week
• rust-lang / hashbrown
  Rust port of Google's SwissTable hash map
  ☆2,809Updated last week
• bincode-org / bincode
  A binary encoder / decoder implementation in Rust.
  ☆3,084Updated 3 months ago
• ron-rs / ron
  Rusty Object Notation
  ☆3,765Updated this week
• tokio-rs / loom
  Concurrency permutation testing tool for Rust.
  ☆2,534Updated 3 months ago
• petgraph / petgraph
  Graph data structure library for Rust.
  ☆3,643Updated last month
• rayon-rs / rayon
  Rayon: A data parallelism library for Rust
  ☆12,389Updated last month
• lalrpop / lalrpop
  LR(1) parser generator for Rust
  ☆3,387Updated 2 weeks ago
• serde-rs / json
  Strongly typed JSON library for Rust
  ☆5,380Updated last week
• immunant / c2rust
  Migrate C code to Rust
  ☆4,570Updated this week
• rust-itertools / itertools
  Extra iterator adaptors, iterator methods, free functions, and macros.
  ☆3,037Updated 3 weeks ago
• google / tarpc
  An RPC framework for Rust with a focus on ease of use.
  ☆3,591Updated last week
• nix-rust / nix
  Rust friendly bindings to *nix APIs
  ☆2,931Updated 2 weeks ago