Library for building stateful property tests using the proptest crate
☆26Oct 7, 2025Updated 5 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:
- A heckin small test generator☆30Apr 29, 2023Updated 2 years ago
- Haskell to C compiler via Categorifier☆39Dec 15, 2023Updated 2 years ago
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 years ago
- Derive-macro-based generator that combines `Typestate` and `Builder` patterns.☆13Oct 4, 2025Updated 5 months ago
- Cargo subcommand to easily run targets/examples☆18Aug 24, 2022Updated 3 years ago
- ☆52Nov 21, 2025Updated 3 months ago
- A poptrie implementation☆21Jan 13, 2026Updated last month
- Database Design and Implementation: Second Edition☆21Updated this week
- Procedural macro to easily write higher-order strategies in proptest.☆48Feb 11, 2026Updated 3 weeks ago
- Changelog management tool for the CLI☆27Mar 1, 2026Updated last week
- Human-friendly indexed collections☆57Oct 17, 2025Updated 4 months ago
- Drop-in replacement for CometBFT in end-to-end tests☆23Mar 15, 2024Updated last year
- A basic raytracer implementation in Rust based on the Ray Tracing in One Weekend book.☆21Oct 11, 2022Updated 3 years ago
- `smol` integrations with `axum`☆22Feb 18, 2026Updated 2 weeks ago
- A Rust implementation of the Strobe protocol framework☆26Feb 9, 2026Updated last month
- A tiny embedded scripting language implemented in Scala.☆25Jan 11, 2019Updated 7 years ago
- A low-ish level tool for easily writing and hosting WASM based plugins.☆71Mar 14, 2024Updated last year
- Namada indexer to be used in conjunction with the namada interface☆49Dec 19, 2025Updated 2 months ago
- Liquid Types implementation for Rust☆30Sep 30, 2022Updated 3 years ago
- `memory_pages` is a small library provinig a cross-platform API to request pages from kernel with certain premisions☆31Mar 25, 2023Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆69Feb 12, 2026Updated 3 weeks ago
- Abstract over different executors☆74Jul 22, 2023Updated 2 years ago
- Automated integration testing based on recorded play-testing sessions☆30Jun 9, 2024Updated last year
- An async virtual filesystem interface in Rust☆37Sep 28, 2023Updated 2 years ago
- ☆16Feb 24, 2026Updated last week
- Binary size analyzer for Rust programs☆37Apr 26, 2024Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Oct 19, 2024Updated last year
- Yet another string type for Rust☆93Jan 11, 2026Updated last month
- Kullback-Leibler projections for Bayesian model selection in Python☆41Jan 2, 2026Updated 2 months ago
- A zero-config, multi-platform, multi-protocol standalone server for a prompt file serving.☆49Oct 21, 2025Updated 4 months ago
- multi-shot continuations in OCaml☆51Nov 21, 2025Updated 3 months ago
- The motion model software development kit for the LandSAR search and rescue software platform☆18Feb 3, 2026Updated last month
- Reactive Isomorphic FullStack Web Framework for Rust☆42Apr 28, 2023Updated 2 years ago
- ☆11Apr 28, 2024Updated last year
- Instructions on obtaining stable benchmarks results on modern Linux distro☆19Updated this week
- A complete Pokemon generation 1 battle simulator including all Pokemon and moves.☆12Feb 17, 2024Updated 2 years ago
- Low overhead Rust implementation of time-related concepts☆12Updated this week
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- A drop-in replacement for `dapp` and `seth` in Rust☆10Updated this week