Automated property based testing for Rust (with shrinking).
β2,773Apr 3, 2026Updated 3 months ago
Alternatives and similar repositories for quickcheck
Users that are interested in quickcheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hypothesis-like property testing for Rustβ2,195May 27, 2026Updated last month
- π Fuzzing Rust code with American Fuzzy Lopβ1,834Updated this week
- Rust parser combinator frameworkβ10,438Aug 26, 2025Updated 10 months ago
- Statistics-driven benchmarking library for Rustβ5,503Apr 23, 2026Updated 2 months ago
- Concurrency permutation testing tool for Rust.β2,758Feb 20, 2026Updated 5 months ago
- 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.
- Command line helpers for fuzzingβ1,852Updated this week
- Zero-cost asynchronous programming in Rustβ5,885Updated this week
- Rayon: A data parallelism library for Rustβ13,164Updated this week
- Tools for concurrent programming in Rustβ8,529Jul 13, 2026Updated last week
- A snapshot testing library for rustβ2,926Updated this week
- Extra iterator adaptors, iterator methods, free functions, and macros.β3,146Jul 3, 2026Updated 2 weeks ago
- A code coverage tool for Rust projectsβ2,998Updated this week
- Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.β3,387Jun 8, 2026Updated last month
- Compile time static maps for Rustβ2,167Updated this week
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An interpreter for Rust's mid-level intermediate representationβ6,429Updated this week
- A parser combinator library for Rustβ1,361Feb 3, 2026Updated 5 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solverβ2,005Feb 8, 2026Updated 5 months ago
- Flexible concrete Error type built on std::Errorβ6,600Updated this week
- Some more derive(Trait) optionsβ2,121Jun 18, 2026Updated last month
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3β5,979Updated this week
- derive(Error) for struct and enum error typesβ5,487Updated this week
- Assorted immutable collection datatypes for Rustβ1,584Aug 19, 2024Updated last year
- Application level tracing for Rust.β6,783May 30, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A next-generation test runner for Rust.β3,169Updated this week
- Graph data structure library for Rust.β3,967Apr 4, 2026Updated 3 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.β2,906Updated this week
- A binary encoder / decoder implementation in Rust.β3,070Aug 15, 2025Updated 11 months ago
- Generating structured data from arbitrary, unstructured input.β870Jun 22, 2026Updated 3 weeks ago
- A hash table with consistent order and fast iteration; access items by key or sequence indexβ2,399Jul 10, 2026Updated last week
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.β1,453Jul 4, 2026Updated 2 weeks ago
- the champagne of beta embedded databasesβ9,050Apr 4, 2026Updated 3 months ago
- Ensure correct assumptions about constants, types, and more in Rustβ665Nov 18, 2023Updated 2 years ago
- 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.
- Serialization framework for Rustβ10,712Updated this week
- A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/β13,375Updated this week
- Represent large sets and maps compactly with finite state transducers.β2,109Sep 25, 2024Updated last year
- A full featured, fast Command Line Argument Parser for Rustβ16,574Updated this week
- Metal I/O library for Rust.β7,049Updated this week
- Error managementβ1,416May 2, 2020Updated 6 years ago
- Structured, contextual, extensible, composable logging for Rustβ1,711Jun 1, 2026Updated last month