Alternatives and similar repositories for proptest-stateful

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

• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆61Updated 7 months ago
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆103Updated 5 months ago
• matklad / arbtest
  A minimalist property-based testing library
  ☆118Updated 6 months ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆40Updated 4 years ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆43Updated last year
• willcrichton / indexical
  Human-friendly indexed collections
  ☆56Updated 3 weeks ago
• tomaka / futures-diagnose
  Wraps around a futures::Spawn and adds diagnostics to it
  ☆32Updated 5 years ago
• notgull / unsend
  Thread-unsafe async runtime
  ☆29Updated last year
• nextest-rs / future-queue
  Queue futures to run concurrently, in the order they're spawned, and with global and group limits.
  ☆65Updated this week
• graydon / backtrace-error
  wrap errors with automatic backtrace capture and print-on-result-unwrap
  ☆33Updated last year
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆65Updated last year
• sujayakar / rsdict
  ☆49Updated 5 months ago
• oxidecomputer / daft
  Ergonomic Type Diffs
  ☆63Updated last month
• graydon / concorde
  ☆28Updated 4 years ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆63Updated 3 years ago
• spacejam / seaslug
  scraps of a potential language
  ☆38Updated 4 years ago
• helsing-ai / dson
  A rust crate that provides a space efficient 𝛿-based CRDT implementation
  ☆129Updated this week
• kim / it
  zero-g git.
  ☆40Updated 2 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 4 years ago
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆31Updated 3 years ago
• estokes / immutable-chunkmap
  Fast cache efficient immutable map for rust
  ☆29Updated 2 months ago
• s2-streamstore / mad-turmoil
  madsim-inspired determinism for turmoil-based simulation tests
  ☆45Updated 7 months ago
• oxidecomputer / cancel-safe-futures
  Alternative future adapters that provide cancel safety.
  ☆75Updated last month
• leontoeides / indicium
  A simple in-memory search for collections and key-value stores.
  ☆80Updated 5 months ago
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated last year
• dtolnay / serde-untagged
  Serde Visitor for deserializing untagged enums
  ☆67Updated last week
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆53Updated 7 months ago
• kamirr / math-jit
  ☆35Updated 9 months ago
• RustyYato / type-families
  ☆46Updated 4 years ago