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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An implementation of the DudeCT constant-time function tester☆25Mar 23, 2026Updated last week
- Prototype debugger for lilos☆27Mar 5, 2025Updated last year
- 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
- A heckin small test generator☆30Apr 29, 2023Updated 2 years ago
- A curated list of awesome Letta projects, tools, tutorials, and resources for building stateful AI agents with persistent memory.☆28Oct 23, 2025Updated 5 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Liquid Types implementation for Rust☆30Sep 30, 2022Updated 3 years ago
- Haskell to C compiler via Categorifier☆39Dec 15, 2023Updated 2 years ago
- Rust agent for async-profiler☆21Updated this week
- libdecnumber bindings for the Rust programming language☆13May 7, 2025Updated 10 months ago
- Cargo subcommand to easily run targets/examples☆18Aug 24, 2022Updated 3 years ago
- ☆12Jan 4, 2024Updated 2 years ago
- Procedural macro to easily write higher-order strategies in proptest.☆51Feb 11, 2026Updated last month
- A toolkit to develop distributed systems☆14Nov 20, 2022Updated 3 years ago
- A graph query system for distributed computing.☆35Jul 13, 2011Updated 14 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- multi-shot continuations in OCaml☆52Nov 21, 2025Updated 4 months ago
- Human-friendly indexed collections☆57Oct 17, 2025Updated 5 months ago
- Threshold encryption☆12Jan 18, 2022Updated 4 years ago
- Changelog management tool for the CLI☆27Mar 1, 2026Updated 3 weeks ago
- Extism Plug-in development kit (PDK) for Haskell☆10Mar 22, 2025Updated last year
- Swift bindings of Loro CRDTs☆35Dec 9, 2025Updated 3 months ago
- Interpret Haskell programs into any cartesian closed category.☆69Mar 13, 2026Updated 2 weeks ago
- `smol` integrations with `axum`☆22Feb 18, 2026Updated last month
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Exact real arithmetic in Haskell☆25Dec 13, 2021Updated 4 years ago
- XCode CLI MCP: Convenience wrapper for Xcode CLI tools & iOS Simulator. Progressive disclosure of tool responses to reduce context usage.…☆75Feb 7, 2026Updated last month
- ☆11Nov 2, 2021Updated 4 years ago
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Jun 26, 2019Updated 6 years ago
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- A node script that checks the current active app running in your OS, parses some customizable rules and sends the target layer index to a…☆32Jul 4, 2024Updated last year
- A Rust library offering newtyped indices and vecs that use those indices☆20Aug 17, 2024Updated last year
- University of Chicago electronic dissertation LaTeX class and template☆22Dec 10, 2025Updated 3 months ago
- Binary size analyzer for Rust programs☆37Apr 26, 2024Updated last year
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Find out why your CoreML model isn't running on the Neural Engine!☆30Jun 18, 2024Updated last year
- Splice 2 sockets together in Erlang☆11Feb 10, 2022Updated 4 years ago
- Corny COBS encode/decode for Rust no_std targets☆21Nov 10, 2022Updated 3 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 4 months ago
- A hierarchical timer wheel in Rust☆17Feb 1, 2018Updated 8 years ago
- Database Design and Implementation: Second Edition☆21Mar 22, 2026Updated last week
- Stylish CLI timer☆15Mar 30, 2024Updated 2 years ago