Freedom251 › Racket QuickCheck
Instead of Racket QuickCheck
Racket QuickCheck alternatives
Racket QuickCheck is a free property-based testing package for Racket programmers. It expresses specifications in ordinary Racket code, generates values such as integers, real numbers, lists, vectors, strings, and symbols, and reports the arguments that falsify a property. The default configuration runs 100 successful tests, with helpers for 1,000, 10,000, or custom counts. RackUnit integration raises a RackUnit exception with the test count and counterexample arguments. It runs on Windows, macOS, and Linux and requires Racket 6.0 or newer.
- 1
ScalaCheck
Free plan LinuxMacWindowsScala and Java property testing — ScalaCheck targets Scala and Java, integrates with ScalaTest, specs2, and LambdaTest, and includes standalone and sbt workflows.
- 2
FsCheck
Free plan LinuxMacWindowsF#, C#, and VB .NET testing — FsCheck supports F#, C#, and VB, offers minimal counterexamples with shrinkers, and integrates with xUnit.net and NUnit.
- 3
fast-check
Free plan Open source APILinuxSelf-hosted+1JavaScript and TypeScript testing — fast-check targets JavaScript and TypeScript, shrinks failures, and works with Jest, Mocha, Vitest, and other runners.
- 4
Gopter
Free plan LinuxSelf-hostedGo property and stateful testing — Gopter brings ScalaCheck-style testing to Go with controlled generators, automatic shrinking, regex generators, and stateful tests.
- 5
JSVerify
Free plan Self-hostedWebJavaScript asynchronous properties — JSVerify targets JavaScript, supports Promise-returning properties, attempts shrinking, and documents deterministic generated values and RNG state.
- 6
PropCheck
Free plan LinuxSelf-hostedRuby property-based testing — PropCheck targets Ruby, includes setup and cleanup hooks, common Ruby generators, and shrinking toward minimal counterexamples.
- 7
QCheck
Free plan LinuxOCaml property and model testing — QCheck targets OCaml and provides integrated shrinking, OUnit and Alcotest layers, plus sequential and parallel model-based testing options.
- 8
CsCheck
Free plan Self-hosted - 9
FSharp.Hedgehog
Free plan LinuxMacWindows - 10
Hypothesis
Free plan LinuxMacWindows - 11
Eris
Free plan Self-hosted - 12
PropEr
Free plan Self-hosted - 13
QuickTheories
Free plan APISelf-hosted - 14
QuickCheck
Free plan Linux - 15
Rantly
Free plan Self-hosted - 16
RapidCheck
Free plan LinuxSelf-hostedWindows - 17
Rapid
Free plan Self-hosted - 18
Proptest
Free plan Web - 19
Scala Hedgehog
Free plan Linux - 20
scalaprops
Free plan Linux - 21
Plausible
Free plan - 22
StreamData
Free plan API - 23
test.check
Free plan API - 24
SwiftCheck
Free plan iPhoneMac
Readers may switch when they need another language, failure shrinking, different test-framework integrations, or a different runtime. Racket QuickCheck has no failing-case shrinking, so the reported failing arguments are not automatically minimized. Its package is free, but it is tied to the Racket ecosystem and installation through Racket’s package tools. Compare each alternative’s language support, generators, shrinking behavior, runner integrations, platform coverage, and workflow fit before replacing it.
← Back to Racket QuickCheck The whole property-based testing tools list