readysettech / proptest-statefulLinks
Library for building stateful property tests using the proptest crate
☆25Updated last week
Alternatives and similar repositories for proptest-stateful
Users that are interested in proptest-stateful are comparing it to the libraries listed below
Sorting:
- Human-friendly indexed collections☆54Updated this week
- Transport-polymorphic, asynchronous session types for Rust☆63Updated 2 years ago
- 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☆33Updated last year
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- ☆27Updated 4 years ago
- 🎶 Choreographic programming in Rust 🎶☆59Updated 6 months ago
- Efficient sampling with uniform probability☆31Updated 3 years ago
- trigger io::Error's in test, and annotate their source☆31Updated 2 years ago
- An experimental columnar arena☆43Updated 10 months ago
- ☆49Updated 3 months ago
- A minimalist property-based testing library☆116Updated 4 months ago
- scraps of a potential language☆38Updated 4 years ago
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆64Updated this week
- Ergonomic Type Diffs☆61Updated 2 months ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- Adaptive Radix Trie implementation for fixed-length keys☆54Updated last month
- 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
- dom-like layout for terminal applications☆13Updated 4 years ago
- Stack safe and expressive recursion in Rust☆103Updated 3 months ago
- Alternative future adapters that provide cancel safety.☆69Updated 2 weeks ago
- Optics library for rust☆47Updated 3 months ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Updated last year
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 6 months ago
- Fast cache efficient immutable map for rust☆29Updated 2 weeks ago
- Experimental type level programming in Rust☆39Updated 4 years ago
- A double-ended priority queue implemented with an interval heap.☆17Updated 8 years ago
- An unordered multiset/bag implementation backed by HashMap☆70Updated last month
- Compact sets in rust☆56Updated 6 months ago
- Memory validation framework for Rust☆70Updated 7 months ago