An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "property-based-testing" keyword

View the packages on the crates.io package registry that are tagged with the "property-based-testing" keyword.

conjecture 0.7.0
Core engine for Hypothesis implementations
8 versions - Latest release: over 4 years ago - 1 dependent package - 13.3 thousand downloads total - 7,943 stars on GitHub - 2 maintainers
Top 9.7% on crates.io
fuzzcheck_mutators_derive 0.13.0
Procedural macros to generate fuzzcheck mutators
11 versions - Latest release: 10 months ago - 2 dependent packages - 20 dependent repositories - 25.7 thousand downloads total - 446 stars on GitHub - 2 maintainers
Top 8.5% on crates.io
fuzzcheck 0.13.0
A modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
21 versions - Latest release: 10 months ago - 6 dependent packages - 20 dependent repositories - 36.1 thousand downloads total - 446 stars on GitHub - 2 maintainers
cargo-fuzzcheck 0.13.0
Command line tool to use fuzzcheck-rs
16 versions - Latest release: 10 months ago - 19.1 thousand downloads total - 446 stars on GitHub - 2 maintainers
Top 9.7% on crates.io
fuzzcheck_common 0.13.0
Common components for both cargo-fuzzcheck and fuzzcheck
9 versions - Latest release: 10 months ago - 2 dependent packages - 20 dependent repositories - 23.6 thousand downloads total - 446 stars on GitHub - 2 maintainers
chaos_theory 0.1.2
Modern property-based testing and structure-aware fuzzing library
5 versions - Latest release: 3 days ago - 2.21 thousand downloads total - 2 stars on GitHub - 1 maintainer
prop-check-rs 0.0.955 💰
A Property-based testing Library in Rust
923 versions - Latest release: 6 days ago - 4 dependent packages - 2 dependent repositories - 980 thousand downloads total - 3 stars on GitHub - 1 maintainer
proptest-quickcheck-interop 2.0.0
Provides an interoperability layer for reuse of quickcheck::Arbitrary impls in proptest
7 versions - Latest release: over 7 years ago - 10.3 thousand downloads total - 4 stars on GitHub - 1 maintainer
reltester 2.0.0
Automatically verify the correctness of [Partial]Eq/Ord implementations
4 versions - Latest release: almost 2 years ago - 5.05 thousand downloads total - 20 stars on GitHub - 1 maintainer
dicetest 0.3.1
Framework for writing tests with randomly generated test data
5 versions - Latest release: over 3 years ago - 2 dependent packages - 1 dependent repositories - 15.7 thousand downloads total - 14 stars on GitHub - 1 maintainer
lib-wc 0.2.0
Will's Programming Toolbox
15 versions - Latest release: over 2 years ago - 15.4 thousand downloads total - 4 stars on GitHub - 1 maintainer
diceprop 0.2.0
Mathematical properties for random testing
2 versions - Latest release: almost 4 years ago - 1 dependent repositories - 2.65 thousand downloads total - 0 stars on GitHub - 1 maintainer
fuzztest 0.1.1
Easily test your software using powerful evolutionary, feedback-driven fuzzing technology.
2 versions - Latest release: over 7 years ago - 3.91 thousand downloads total - 6 stars on GitHub - 1 maintainer