readysettech / proptest-statefulLinks
Library for building stateful property tests using the proptest crate
☆26Updated 2 months ago
Alternatives and similar repositories for proptest-stateful
Users that are interested in proptest-stateful are comparing it to the libraries listed below
Sorting:
- 🎶 Choreographic programming in Rust 🎶☆61Updated 9 months ago
- Human-friendly indexed collections☆56Updated 2 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- An experimental columnar arena☆43Updated last year
- Wraps around a futures::Spawn and adds diagnostics to it☆32Updated 5 years ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆32Updated last year
- Stack safe and expressive recursion in Rust☆104Updated 6 months ago
- ☆49Updated 6 months ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- A minimalist property-based testing library☆120Updated 8 months ago
- madsim-inspired determinism for turmoil-based simulation tests☆48Updated last month
- Optics library for rust☆49Updated 3 months ago
- Experimental type level programming in Rust☆41Updated 4 years ago
- Fast and compact sets of bytes or ASCII characters☆28Updated 4 years ago
- scraps of a potential language☆38Updated 4 years ago
- Transport-polymorphic, asynchronous session types for Rust☆64Updated 3 years ago
- ☆28Updated 5 years ago
- Thread-unsafe async runtime☆29Updated last year
- zero-g git.☆40Updated 2 years ago
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆67Updated this week
- Alternative future adapters that provide cancel safety.☆79Updated 3 weeks ago
- ☆46Updated 4 years ago
- A memory efficient syntax tree for language developers☆63Updated 4 months ago
- ☆35Updated 11 months ago
- exhaustive testing library☆66Updated last year
- Adaptive Radix Trie implementation for fixed-length keys☆54Updated 5 months ago
- Serde Visitor for deserializing untagged enums☆68Updated last week
- Memory validation framework for Rust☆74Updated 3 months ago
- Choose Rust types at compile-time via constants☆70Updated last year
- Propositional logic with types in Rust☆64Updated 2 years ago