Alternatives and similar repositories for proptest-stateful

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

• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆61Updated 9 months ago
• willcrichton / indexical
  Human-friendly indexed collections
  ☆56Updated 2 months ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆43Updated last year
• tomaka / futures-diagnose
  Wraps around a futures::Spawn and adds diagnostics to it
  ☆32Updated 5 years ago
• graydon / backtrace-error
  wrap errors with automatic backtrace capture and print-on-result-unwrap
  ☆32Updated last year
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆104Updated 6 months ago
• sujayakar / rsdict
  ☆49Updated 6 months ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 4 years ago
• matklad / arbtest
  A minimalist property-based testing library
  ☆120Updated 8 months ago
• s2-streamstore / mad-turmoil
  madsim-inspired determinism for turmoil-based simulation tests
  ☆48Updated last month
• axos88 / optics-rs
  Optics library for rust
  ☆49Updated 3 months ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆41Updated 4 years ago
• grego / bset
  Fast and compact sets of bytes or ASCII characters
  ☆28Updated 4 years ago
• spacejam / seaslug
  scraps of a potential language
  ☆38Updated 4 years ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆64Updated 3 years ago
• graydon / concorde
  ☆28Updated 5 years ago
• notgull / unsend
  Thread-unsafe async runtime
  ☆29Updated last year
• kim / it
  zero-g git.
  ☆40Updated 2 years ago
• nextest-rs / future-queue
  Queue futures to run concurrently, in the order they're spawned, and with global and group limits.
  ☆67Updated this week
• oxidecomputer / cancel-safe-futures
  Alternative future adapters that provide cancel safety.
  ☆79Updated 3 weeks ago
• RustyYato / type-families
  ☆46Updated 4 years ago
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆63Updated 4 months ago
• kamirr / math-jit
  ☆35Updated 11 months ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆66Updated last year
• komora-io / art
  Adaptive Radix Trie implementation for fixed-length keys
  ☆54Updated 5 months ago
• dtolnay / serde-untagged
  Serde Visitor for deserializing untagged enums
  ☆68Updated last week
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆74Updated 3 months ago
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆70Updated last year
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago