readysettech / proptest-statefulView external linksLinks
Library for building stateful property tests using the proptest crate
☆26Oct 7, 2025Updated 4 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:
- 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 2 years ago
- Cargo subcommand to easily run targets/examples☆18Aug 24, 2022Updated 3 years ago
- Derive-macro-based generator that combines `Typestate` and `Builder` patterns.☆13Oct 4, 2025Updated 4 months ago
- A poptrie implementation☆21Jan 13, 2026Updated last month
- Database Design and Implementation: Second Edition☆20Jan 25, 2026Updated 3 weeks ago
- Changelog management tool for the CLI☆27Feb 1, 2026Updated 2 weeks ago
- Human-friendly indexed collections☆56Oct 17, 2025Updated 3 months ago
- A basic raytracer implementation in Rust based on the Ray Tracing in One Weekend book.☆21Oct 11, 2022Updated 3 years ago
- Drop-in replacement for CometBFT in end-to-end tests☆23Mar 15, 2024Updated last year
- `smol` integrations with `axum`☆22Jul 30, 2025Updated 6 months ago
- Prototype debugger for lilos☆27Mar 5, 2025Updated 11 months ago
- An example ABCI application making use of tendermint-rs and ibc-rs☆58Nov 12, 2024Updated last year
- high-efficiency concurrent reclamation☆38Aug 29, 2024Updated last year
- A low-ish level tool for easily writing and hosting WASM based plugins.☆71Mar 14, 2024Updated last year
- An async version of iterator☆41Jun 11, 2024Updated last year
- `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
- Liquid Types implementation for Rust☆30Sep 30, 2022Updated 3 years ago
- Interpret Haskell programs into any cartesian closed category.☆69Feb 9, 2026Updated last week
- 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
- Namada indexer☆41May 6, 2024Updated last year
- ☆16Mar 14, 2025Updated 11 months ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Oct 19, 2024Updated last year
- Binary size analyzer for Rust programs☆37Apr 26, 2024Updated last year
- Yet another string type for Rust☆92Jan 11, 2026Updated last month
- multi-shot continuations in OCaml☆51Nov 21, 2025Updated 2 months ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- ☆11Apr 28, 2024Updated last year
- Summoner's core SDK for building and deploying agents☆12Feb 4, 2026Updated last week
- A complete Pokemon generation 1 battle simulator including all Pokemon and moves.☆12Feb 17, 2024Updated last year
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- OFFICIAL & ORIGINAL ASTRALIXI OS REPOSITRY☆19Nov 29, 2025Updated 2 months ago
- A cli tool that creates color palettes from images using the median cut algorithm.☆43Nov 2, 2022Updated 3 years ago
- concurrent disk-backed cache supporting efficient direct file I/O, transactions, and snapshots using file cloning and sparse files☆112Nov 4, 2025Updated 3 months ago
- A minimalistic encryption protocol for rust async streams/packets, based on noise protocol and snow.☆45May 20, 2022Updated 3 years ago
- An Adaptive Radix Tree implementation.☆53Updated this week
- No-std, no-unsafe and no-dependencies WebAssembly 1.0 runtime for Rust☆46Jul 16, 2024Updated last year