Alternatives and similar repositories for proptest-stateful

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

• willcrichton / indexical
  Human-friendly indexed collections
  ☆56Updated last month
• axos88 / optics-rs
  Optics library for rust
  ☆49Updated 2 months ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆43Updated last year
• nextest-rs / future-queue
  Queue futures to run concurrently, in the order they're spawned, and with global and group limits.
  ☆66Updated last week
• matklad / arbtest
  A minimalist property-based testing library
  ☆120Updated 7 months ago
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆70Updated 2 months ago
• komora-io / fault-injection
  trigger io::Error's in test, and annotate their source
  ☆31Updated 2 years ago
• tomaka / futures-diagnose
  Wraps around a futures::Spawn and adds diagnostics to it
  ☆32Updated 5 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆104Updated 5 months ago
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆61Updated 8 months ago
• graydon / backtrace-error
  wrap errors with automatic backtrace capture and print-on-result-unwrap
  ☆32Updated last year
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆66Updated last year
• s2-streamstore / mad-turmoil
  madsim-inspired determinism for turmoil-based simulation tests
  ☆48Updated 2 weeks ago
• compiler-errors / async-iterator-ext
  Combinator methods for `std::AsyncIterator` using all the new `async` superpowers
  ☆10Updated last year
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 4 years ago
• jonhoo / hashbag
  An unordered multiset/bag implementation backed by HashMap
  ☆74Updated 3 weeks ago
• sujayakar / rsdict
  ☆49Updated 5 months ago
• 4lDO2 / real-async-trait-rs
  A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…
  ☆45Updated 3 years ago
• oxidecomputer / cancel-safe-futures
  Alternative future adapters that provide cancel safety.
  ☆76Updated last week
• oxidecomputer / daft
  Ergonomic Type Diffs
  ☆66Updated 2 months ago
• kamirr / math-jit
  ☆35Updated 10 months ago
• spacejam / seaslug
  scraps of a potential language
  ☆38Updated 4 years ago
• kim / it
  zero-g git.
  ☆40Updated 2 years ago
• sunshowers-code / partial-io
  Rust library that provides helpers for testing resilience of I/O operations.
  ☆33Updated 2 years ago
• nrc / proc-macro-rules
  Macro-rules-style syntax matching for procedural macros
  ☆53Updated 2 years ago
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆68Updated last year
• Peperworx / fluxion
  Fluxion is an actor framework designed with distributed systems in mind, namely sending messages not just between actors, but also betwee…
  ☆29Updated last year
• komora-io / inline-array
  ☆12Updated 3 months ago
• graydon / concorde
  ☆28Updated 4 years ago