Maven · npm
kotest/kotest
Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.
Apache-2.0Aug 28, 2026 · metrics 2.10.0
All tags
Catalogue tag
#property-testing
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
10 records
—
typelevel/scalacheck
Property-based testing for Scala
BSD-3-ClauseOct 19, 2026 · metrics 2.10.0
PyPI
AlexandreDecan/sismic
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
LGPL-3.0Sep 28, 2026 · metrics 2.10.0
Hex
whatyouhide/stream_data
Data generation and property-based testing for Elixir. 🔮
No licenseSep 9, 2026 · metrics 2.10.0
crates.io
camshaft/bolero
property testing and verification front-end for Rust
MITAug 27, 2026 · metrics 2.10.0
Hex
wende/ab
Automatically compare two implementations of the same problem with property-based testing and performance benchmarks.
MITSep 9, 2026 · metrics 2.10.0
Packagist · npm
rasuvaeff/property-testing-core
Framework-agnostic property-based testing engine: generators, shrinking, runner, regression corpus, events
BSD-3-ClauseOct 20, 2026 · metrics 2.10.0
Packagist · npm
rasuvaeff/property-testing
Property-based testing for PHP as a Testo plugin: random generators, shrinking to minimal counterexamples, reproducible seeds
BSD-3-ClauseSep 13, 2026 · metrics 2.10.0
Packagist
rasuvaeff/property-testing-testo
Testo adapter for the property-testing engine: the #[Property] attribute, reflection conventions and TestResult mapping
BSD-3-ClauseAug 26, 2026 · metrics 2.10.0
Go
flyingmutant/rapid
Rapid is a modern Go property-based testing library
MPL-2.0Oct 21, 2026 · metrics 2.10.0