Similar projects and alternatives to QuickCheck
Release with confidence, state-of-the-art property testing for Haskell.
A Testing Framework for Haskell
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
A unit testing framework for Haskell
Helpers to test WAI applications with Hspec
Equational laws for free
Test monadic programs using state machine based models
A library for testing monadic code in the spirit of QuickCheck
TestGPT | Generating meaningful tests for busy devs. Get non-trivial tests (and trivial, too!) suggested right inside your IDE, so you can code smart, create more value, and stay confident when you push.
refine properties for testing Haskell programs
Lean 4 programming language and theorem prover
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
🚴 Opininated testing framework for mtl style (spies, stubs, and mocks) (by jxv)
QuickCheck reviews and mentions
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.
nick8325/quickcheck is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.
The primary programming language of QuickCheck is Haskell.