Alternatives and similar repositories for proptest

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

• BurntSushi / quickcheck
  Automated property based testing for Rust (with shrinking).
  ☆2,608Updated 2 months ago
• JelteF / derive_more
  Some more derive(Trait) options
  ☆1,962Updated 3 weeks ago
• geiger-rs / cargo-geiger
  Detects usage of unsafe Rust in a Rust crate and its dependencies.
  ☆1,504Updated 2 weeks ago
• rust-phf / rust-phf
  Compile time static maps for Rust
  ☆1,965Updated last month
• mitsuhiko / insta
  A snapshot testing library for rust
  ☆2,545Updated 3 weeks ago
• tokio-rs / loom
  Concurrency permutation testing tool for Rust.
  ☆2,424Updated 3 months ago
• rust-itertools / itertools
  Extra iterator adaptors, iterator methods, free functions, and macros.
  ☆2,976Updated 3 weeks ago
• rust-pretty-assertions / rust-pretty-assertions
  Overwrite `assert_eq!` with a drop-in replacement, adding a colorful diff.
  ☆1,286Updated 2 months ago
• xd009642 / tarpaulin
  A code coverage tool for Rust projects
  ☆2,745Updated last week
• EmbarkStudios / cargo-deny
  ❌ Cargo plugin for linting your dependencies 🦀
  ☆2,018Updated 2 weeks ago
• eyre-rs / eyre
  A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications
  ☆1,613Updated 2 months ago
• nextest-rs / nextest
  A next-generation test runner for Rust.
  ☆2,520Updated this week
• colin-kiegel / rust-derive-builder
  derive builder implementation for rust structs
  ☆1,458Updated 9 months ago
• indexmap-rs / indexmap
  A hash table with consistent order and fast iteration; access items by key or sequence index
  ☆2,119Updated last month
• crate-ci / cargo-release
  Cargo subcommand `release`: everything about releasing a rust crate.
  ☆1,454Updated this week
• Peternator7 / strum
  A small rust library for adding custom derives to enums
  ☆2,124Updated 2 weeks ago
• rustsec / rustsec
  RustSec API & Tooling
  ☆1,714Updated last week
• dtolnay / case-studies
  Analysis of various tricky Rust code
  ☆1,937Updated last month
• est31 / cargo-udeps
  Find unused dependencies in Cargo.toml
  ☆1,966Updated 2 weeks ago
• kbknapp / cargo-outdated
  A cargo subcommand for displaying when Rust dependencies are out of date
  ☆1,320Updated 3 months ago
• asomers / mockall
  A powerful mock object library for Rust
  ☆1,681Updated last month
• shepmaster / snafu
  Easily assign underlying errors into domain-specific errors while adding context
  ☆1,720Updated 2 months ago
• dtolnay / cargo-expand
  Subcommand to show result of macro expansion
  ☆2,901Updated this week
• la10736 / rstest
  Fixture-based test framework for Rust
  ☆1,390Updated last week
• rust-lang / chalk
  An implementation and definition of the Rust trait system using a PROLOG-like logic solver
  ☆1,947Updated 2 months ago
• rust-lang / polonius
  Defines the Rust borrow checker.
  ☆1,480Updated last month
• lloydmeta / frunk
  Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
  ☆1,366Updated last month
• matklad / once_cell
  Rust library for single assignment cells and lazy statics without macros
  ☆2,001Updated 2 months ago
• model-checking / kani
  Kani Rust Verifier
  ☆2,620Updated this week
• google / argh
  Rust derive-based argument parsing optimized for code size
  ☆1,827Updated last week