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,578Updated 3 weeks ago
• tokio-rs / loom
  Concurrency permutation testing tool for Rust.
  ☆2,373Updated last month
• JelteF / derive_more
  Some more derive(Trait) options
  ☆1,922Updated this week
• geiger-rs / cargo-geiger
  Detects usage of unsafe Rust in a Rust crate and its dependencies.
  ☆1,480Updated last week
• xd009642 / tarpaulin
  A code coverage tool for Rust projects
  ☆2,707Updated 2 weeks ago
• EmbarkStudios / cargo-deny
  ❌ Cargo plugin for linting your dependencies 🦀
  ☆1,955Updated last week
• nextest-rs / nextest
  A next-generation test runner for Rust.
  ☆2,459Updated this week
• rust-phf / rust-phf
  Compile time static maps for Rust
  ☆1,929Updated 4 months ago
• dtolnay / cargo-expand
  Subcommand to show result of macro expansion
  ☆2,861Updated this week
• rust-itertools / itertools
  Extra iterator adaptors, iterator methods, free functions, and macros.
  ☆2,928Updated last month
• est31 / cargo-udeps
  Find unused dependencies in Cargo.toml
  ☆1,906Updated last month
• rustsec / rustsec
  RustSec API & Tooling
  ☆1,680Updated last week
• indexmap-rs / indexmap
  A hash table with consistent order and fast iteration; access items by key or sequence index
  ☆2,029Updated this week
• rust-pretty-assertions / rust-pretty-assertions
  Overwrite `assert_eq!` with a drop-in replacement, adding a colorful diff.
  ☆1,270Updated last week
• kbknapp / cargo-outdated
  A cargo subcommand for displaying when Rust dependencies are out of date
  ☆1,303Updated last month
• rust-lang / polonius
  Defines the Rust borrow checker.
  ☆1,443Updated 11 months ago
• matklad / once_cell
  Rust library for single assignment cells and lazy statics without macros
  ☆1,982Updated last week
• rust-lang / chalk
  An implementation and definition of the Rust trait system using a PROLOG-like logic solver
  ☆1,932Updated this week
• Amanieu / parking_lot
  Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.
  ☆2,980Updated this week
• Peternator7 / strum
  A small rust library for adding custom derives to enums
  ☆2,046Updated last month
• salsa-rs / salsa
  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
  ☆2,391Updated this week
• eyre-rs / eyre
  A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications
  ☆1,567Updated this week
• fitzgen / bumpalo
  A fast bump allocation arena for Rust
  ☆1,753Updated this week
• gnzlbg / cargo-asm
  cargo subcommand showing the assembly or llvm-ir generated for Rust code
  ☆1,229Updated last year
• mitsuhiko / insta
  A snapshot testing library for rust
  ☆2,497Updated 2 weeks ago
• lloydmeta / frunk
  Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
  ☆1,349Updated 2 months ago
• orium / rpds
  Rust persistent data structures
  ☆1,499Updated last month
• asomers / mockall
  A powerful mock object library for Rust
  ☆1,644Updated last month
• crate-ci / cargo-release
  Cargo subcommand `release`: everything about releasing a rust crate.
  ☆1,425Updated this week
• model-checking / kani
  Kani Rust Verifier
  ☆2,567Updated this week