# typelevel/scalacheck

Property-based testing for Scala

Repository: https://github.com/typelevel/scalacheck
Canonical: https://ross.abutalabs.com/products/scalacheck
Homepage: http://www.scalacheck.org
Language: Scala
License: BSD-3-Clause
License Family: permissive
Topics: scala, scalacheck, property-testing
Last push: 2026-08-22T17:44:49+00:00

## Health v2 (maintenance only)
Score: 69/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 99, release rhythm 14, longevity 100
- inputs: {"age_days": 5578, "days_push": 11, "days_rel": 361, "gap_med": 356, "n_releases_24m": 2}
- flags: none
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1964, forks 393 (observed 2026-08-28T04:05:59.813738+00:00)

## What it is
ScalaCheck is a property-based testing library for Scala and Java programs, inspired by Haskell's QuickCheck. It generates test cases automatically from properties and integrates with ScalaTest, specs2, and sbt, or runs standalone.

## Use cases
- property-based testing for Scala code
- generate random test cases automatically
- test Scala or Java programs with QuickCheck-style properties
- shrink failing test cases to minimal examples
- integrate property tests into ScalaTest or specs2
- test stateful systems in Scala

## When to choose
- you write Scala or Java and want automated property-based testing
- you want integration with ScalaTest, specs2, or sbt
- you need a mature, dependency-free testing library used by the Scala compiler and Akka

## When to avoid
- you need example-based unit testing only
- you work outside the JVM/Scala ecosystem
- you want fuzzing of binaries or network protocols rather than program properties

## Facets
- artifact type: library
- maturity: stable
- function: testing, fuzzing, data-generation
- domain: testing, developer-tools, programming-languages
- platform: jvm, cross-platform
- tags: property-based-testing, quickcheck, scalatest, specs2, scala-native, scala-js, sbt

## Member repositories
- typelevel/scalacheck (main) score 69

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:05:59.813738+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T03:05:31.636062+00:00, confidence not recorded.
  - readme: https://github.com/typelevel/scalacheck (fetched 2026-08-28T04:05:59.813738+00:00, sha bb5ef985c012)
  - homepage: http://www.scalacheck.org (fetched 2026-08-29T10:45:17.303006+00:00, sha 58d7b0fee7dd)
  - site_page: https://scalacheck.org/documentation.html (fetched 2026-08-29T10:45:17.312358+00:00, sha 2896c342eee0)
  - site_page: https://scalacheck.org/download.html (fetched 2026-08-29T10:45:17.314408+00:00, sha 60aac85d5db0)
- Data as of 2026-08-30T08:39:29.467469+00:00.