Procedural macro to easily write higher-order strategies in proptest.
☆48Feb 11, 2026Updated 2 weeks ago
Alternatives and similar repositories for test-strategy
Users that are interested in test-strategy are comparing it to the libraries listed below
Sorting:
- A heckin small test generator☆30Apr 29, 2023Updated 2 years ago
- Alternative future adapters that provide cancel safety.☆80Feb 4, 2026Updated 3 weeks ago
- Simple bitset with small-set (single-word) optimization☆19Jun 9, 2024Updated last year
- Compile time unit checking with C++11 template magic.☆14Apr 30, 2019Updated 6 years ago
- Asynchronous Session Types library☆14Mar 31, 2022Updated 3 years ago
- Adds derive macros for better bounds on generated Copy, Debug, etc. implementations☆12Nov 27, 2024Updated last year
- Hypothesis-like property testing for Rust☆2,061Feb 13, 2026Updated 2 weeks ago
- Generate declarative jobsets for a project's GitHub repository.☆13Mar 19, 2025Updated 11 months ago
- Inserting elements into this map yields a persistent, type-safe Index to that new element.☆13Oct 15, 2018Updated 7 years ago
- Effortlessly create, group, and nest arbitrary errors, and defer error handling ergonomically.☆51Nov 21, 2025Updated 3 months ago
- A "phase-fair" reader-writer spinlock☆11Jan 30, 2023Updated 3 years ago
- ☆12Apr 30, 2024Updated last year
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆14Nov 18, 2024Updated last year
- Rust library that provides helpers for testing resilience of I/O operations.☆33Mar 13, 2023Updated 2 years ago
- TinyKVM VMOD demo programs☆14Sep 13, 2025Updated 5 months ago
- Embed images in Rust documentation☆27May 26, 2021Updated 4 years ago
- ☆23Jan 21, 2021Updated 5 years ago
- decaf377 is a prime-order group designed for use in SNARKs over BLS12-377☆17Mar 9, 2025Updated 11 months ago
- Hypothesis Testing for Polars☆21Aug 2, 2025Updated 7 months ago
- Google Summer of Code tokio-console prototype☆14Aug 27, 2019Updated 6 years ago
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆67Updated this week
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Oct 19, 2024Updated last year
- A lightweight, automatic dotfile manager☆11Dec 8, 2016Updated 9 years ago
- ☆18Jun 30, 2024Updated last year
- An isolated security container for sensitive data☆27Mar 24, 2025Updated 11 months ago
- property testing and verification front-end for Rust☆231Feb 19, 2026Updated last week
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Oct 19, 2021Updated 4 years ago
- An experimental programming language for ergonomic software verification☆16Feb 5, 2026Updated 3 weeks ago
- Data-driven tests on stable Rust☆51Updated this week
- Implementation of bitswap protocol for libp2p☆19Feb 3, 2026Updated 3 weeks ago
- Type-level heterogeneous list, and indexing that, when coupled with type inference, approximates type-directed search☆17Nov 22, 2017Updated 8 years ago
- XRPL Hooks Builder - Add smart contract functionality to the XRP Ledger☆22Feb 23, 2026Updated last week
- Implementation of additive homomorphic ElGamal using the Ristretto group over Curve25519☆22Sep 5, 2022Updated 3 years ago
- Benchmark tool for comparing with other runtimes.☆21Apr 22, 2025Updated 10 months ago
- Database Design and Implementation: Second Edition☆21Updated this week
- ☆23Jul 30, 2025Updated 7 months ago
- A sandboxed local task runner for Rust☆21Sep 20, 2024Updated last year
- Mythic☆24Oct 15, 2024Updated last year
- Ambient Authority☆21Jun 30, 2023Updated 2 years ago