QuickCheck Alternatives

Similar projects and alternatives to QuickCheck

lean4

55 3,811 9.9 Lean QuickCheck VS lean4

Lean 4 programming language and theorem prover
tlaplus

38 2,223 9.1 Java QuickCheck VS tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
InfluxDB

www.influxdata.com featured

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
hedgehog

3 663 6.0 Haskell QuickCheck VS hedgehog

Release with confidence, state-of-the-art property testing for Haskell.
hspec

2 737 6.3 Haskell QuickCheck VS hspec

A Testing Framework for Haskell
HUnit

1 123 0.0 Haskell QuickCheck VS HUnit

A unit testing framework for Haskell
hspec-wai

0 64 0.0 Haskell QuickCheck VS hspec-wai

Helpers to test WAI applications with Hspec
quickspec

2 247 5.7 Haskell QuickCheck VS quickspec

Equational laws for free
SaaSHub

www.saashub.com featured

SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
quickcheck-state-machine

0 196 1.0 Haskell QuickCheck VS quickcheck-state-machine

Discontinued Test monadic programs using state machine based models
fuzzcheck

0 8 0.0 Haskell QuickCheck VS fuzzcheck

A library for testing monadic code in the spirit of QuickCheck
ghc-prof-flamegraph

0 73 0.0 Haskell QuickCheck VS ghc-prof-flamegraph
doctest-discover

0 37 0.0 Haskell QuickCheck VS doctest-discover

Easy way to run doctests via cabal
fitspec

0 74 6.7 Haskell QuickCheck VS fitspec

refine properties for testing Haskell programs

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better QuickCheck alternative or higher similarity.

Suggest an alternative to QuickCheck

QuickCheck reviews and mentions

Posts with mentions or reviews of QuickCheck. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-04-27.

Ask HN: Is writing a math proof like programming without ever running your code?
3 projects | news.ycombinator.com | 27 Apr 2023

Quickcheck is a Haskell testing library which allows the programmer to write propositions about how a function should behave, and the library will try to find cases which falsify the proposition.
If my understanding is correct, it can't "prove" any properties, only disprove them.
For concretely proving properties of a program, you would need something like Idris's dependent type system, where you can prove that a function always returns a sorted list, for example.
https://github.com/nick8325/quickcheck