QuickCheck vs ScalaCheck

QuickCheck is a free Haskell library for testing program properties against randomly generated cases. Developers write specifications with QuickCheck combinators and can use combinators to define test-data generators and inspect generated-data distributions. It supports stateful testing, reproducible failures and shrinking failing cases. Monadic property testing is provided through the Test.QuickCheck.Monadic module. The package README describes adding QuickCheck to project dependencies for use in tests or a REPL. A companion package, quickcheck-instances, supplies instances for types in Haskell Platform packages, with additional dependencies. QuickCheck is licensed under BSD-3-Clause and lists dependencies including base, containers, random, splitmix, template-haskell and transformers. Hackage reports it tested with GHC versions from 8.10 up to but not including 9.15, as well as Hugs. A make-hugs script creates a Hugs-compatible version and may be useful for other non-GHC implementations. Hackage lists QuickCheck-2.18.0.0 as a downloadable Cabal source package. The listed package plan costs nothing.

ScalaCheck is a free Scala library for automated property-based testing of Scala and Java programs. It checks defined properties against randomized input parameters and reports the arguments that produce a failure. The library supports parameterized cases and parallel execution, and can run on its own with a built-in test runner. For sbt projects, the site shows how to add it as a test dependency; it is also integrated with ScalaTest, specs2 and LambdaTest. ScalaCheck has no external dependencies beyond the Scala runtime. Build artifacts are published in the Central Repository, with an sbt dependency declaration available from the download page. Documentation includes a user guide and API reference. The site lists version 1.19.0, released September 6, 2025. The project identifies the BSD-3-Clause license and lists a security policy. Its build defines JVM, Scala.js and Scala Native platforms, and its README says the Gradle plugin supports Scala.js and Scala Native. The site names the Scala compiler and Akka among projects that use it.