Alternatives and similar repositories for proptest-stateful

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

• jerry73204 / typ
  Experimental type level programming in Rust
  ☆40Updated 4 years ago
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆103Updated 4 months ago
• tomaka / futures-diagnose
  Wraps around a futures::Spawn and adds diagnostics to it
  ☆32Updated 5 years ago
• willcrichton / indexical
  Human-friendly indexed collections
  ☆55Updated 2 weeks ago
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆59Updated 7 months ago
• matklad / arbtest
  A minimalist property-based testing library
  ☆116Updated 5 months ago
• nextest-rs / future-queue
  Queue futures to run concurrently, in the order they're spawned, and with global and group limits.
  ☆64Updated this week
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 4 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• axos88 / optics-rs
  Optics library for rust
  ☆48Updated 3 weeks ago
• oxidecomputer / daft
  Ergonomic Type Diffs
  ☆62Updated 2 weeks ago
• fpco / pid1-rs
  pid1 handling library for proper signal and zombie reaping of the PID1 process
  ☆37Updated 3 months ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆43Updated 11 months ago
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆62Updated 2 months ago
• notgull / unsend
  Thread-unsafe async runtime
  ☆29Updated 11 months ago
• sujayakar / rsdict
  ☆49Updated 4 months ago
• chc4 / samsara
  a reference-counting cycle collection library in rust
  ☆77Updated 2 years ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆65Updated last year
• compiler-errors / async-iterator-ext
  Combinator methods for `std::AsyncIterator` using all the new `async` superpowers
  ☆10Updated last year
• oxidecomputer / cancel-safe-futures
  Alternative future adapters that provide cancel safety.
  ☆73Updated 2 weeks ago
• komora-io / fault-injection
  trigger io::Error's in test, and annotate their source
  ☆31Updated 2 years ago
• helsing-ai / dson
  A rust crate that provides a space efficient 𝛿-based CRDT implementation
  ☆119Updated this week
• RustyYato / type-families
  ☆46Updated 4 years ago
• kamirr / math-jit
  ☆35Updated 8 months ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 4 years ago
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆70Updated 2 weeks ago
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆68Updated last year
• graydon / concorde
  ☆27Updated 4 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago
• cormacrelf / incremental-rs
  A Rust port of Jane Street's Incremental library.
  ☆27Updated 9 months ago