Library for building stateful property tests using the proptest crate
☆26Oct 15, 2026Updated 2 weeks ago
Alternatives and similar repositories for proptest-stateful
Users that are interested in proptest-stateful are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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
- Latest solar images from NASA's SDO - Solar Dynamics Observatory☆12Dec 14, 2024Updated last year
- Its a healthcare engine☆11Mar 12, 2025Updated last year
- MXFP4-compatible 4-bit floating point types and block formats for Rust.☆12Mar 4, 2026Updated 7 months ago
- The OpenAI Whisper speech-to-text model as a simple HTTP server☆14Oct 26, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Brain floating point type for Swift☆12Oct 12, 2025Updated last year
- Token De/Serializer for testing De/Serialize implementations☆14Dec 17, 2024Updated last year
- ☆12Jun 27, 2024Updated 2 years ago
- Liquid Types implementation for Rust☆31Sep 30, 2022Updated 4 years ago
- ☆12Dec 28, 2023Updated 2 years ago
- ☆12Jan 4, 2024Updated 2 years ago
- Haskell to C compiler via Categorifier☆39Dec 15, 2023Updated 2 years ago
- Support files for working with the Dremel DigiLab LC40 Laser Cutter☆13Nov 20, 2020Updated 5 years ago
- a tree. with versions.☆13Jul 26, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- HIF: The Hubris/Humility Interchange Format☆11Sep 19, 2023Updated 3 years ago
- ☆19Dec 31, 2025Updated 9 months ago
- A pure-Python window manager for the X window system.☆14Jun 24, 2020Updated 6 years ago
- A poptrie implementation☆23Apr 14, 2026Updated 6 months ago
- Procedural macro to easily write higher-order strategies in proptest.☆54Aug 22, 2026Updated 2 months ago
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- Lachesis BFT consensus for permission-less networks, in Rust☆32Jul 5, 2019Updated 7 years ago
- Derive-macro-based generator that combines `Typestate` and `Builder` patterns.☆14Oct 4, 2025Updated last year
- Minimal OCaml library to parse Garmin FIT files☆11Sep 25, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆12Feb 2, 2014Updated 12 years ago
- The code is the spec☆37Jun 6, 2023Updated 3 years ago
- My awesome i3 configuration☆17Jul 17, 2026Updated 3 months ago
- Discrete Event Simulator for Rust Implementations☆22Feb 17, 2026Updated 8 months ago
- Jahob Verification System☆13Mar 19, 2017Updated 9 years ago
- Fast and correct computations with uncertain values☆96Jun 8, 2025Updated last year
- Untyped Multistack Concatenative Calculus☆11Feb 25, 2022Updated 4 years ago
- `smol` integrations with `axum`☆22Feb 18, 2026Updated 8 months ago
- A hierarchical timer wheel in Rust☆17Feb 1, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- An Erlang Term Parser for Java☆17Oct 7, 2022Updated 4 years ago
- A Rust implementation of the Strobe protocol framework☆28Sep 20, 2026Updated last month
- Human-friendly indexed collections☆58Aug 5, 2026Updated 2 months ago
- Predictable serde format for embedded (or larger) systems☆13Jul 20, 2024Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆70Updated this week
- A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)☆10Nov 5, 2021Updated 4 years ago