Haskell Quickcheck

Open-source Haskell projects categorized as Quickcheck

Top 19 Haskell Quickcheck Projects

  • hspec

    A Testing Framework for Haskell

    Project mention: Show HN: IHP v1.0 (Batteries-included web framework built on Haskell and Nix) | news.ycombinator.com | 2022-10-24

    While of course Haskell has more normal testing infrastructure available (eg. https://hspec.github.io/), my favorite bit of Haskell testing is QuickCheck, which IIUC started life in Haskell and has been reimplemented in other languages with various degrees of effectiveness and various degrees of connection to the original project.

    John Hughes (not the filmmaker) gives a great talk about it: https://youtu.be/zi0rHwfiX1Q

  • hedgehog

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

  • InfluxDB

    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.

  • tasty

    Modern and extensible testing framework for Haskell

  • generic-random

    Generic random generators (by Lysxia)

  • titan

    Testing Infrastructure for Temporal AbstractioNs

  • hschema

    A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.

  • quickcheck-higherorder

    QuickCheck extension for higher-order properties

  • SonarLint

    Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

  • quickcheck-instances

    Instances for QuickCheck classes

  • quickcheck-arbitrary-adt

    Typeclass for generating a list of each instance of a sum type's constructors

  • quickcheck-io

    Use HUnit assertions as QuickCheck properties

  • quickcheck-arbitrary-template

    Arbitrary QuickCheck instance generation using template haskell

  • quickcheck-unicode

    Unicode support for QuickCheck

  • quickcheck-simple

    Test properties and default-mains for QuickCheck

  • quickcheck-with-counterexamples

    Get counterexamples out of QuickCheck as Haskell values

  • quickcheck-property-monad

    A monad for building quickcheck properties

  • symbiote

    Data serialization verification implementation

  • quickcheck-report

  • tasty-quickcheck-laws

    Tasty trees for your lawful class instances

  • quickcheck-combinators

    type-level combinators for quickcheck instances

  • SaaSHub

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

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2022-10-24.


What are some of the best open-source Quickcheck projects in Haskell? This list will help you:

Project Stars
1 hspec 721
2 hedgehog 657
3 tasty 600
4 generic-random 81
5 titan 20
6 hschema 17
7 quickcheck-higherorder 16
8 quickcheck-instances 13
9 quickcheck-arbitrary-adt 11
10 quickcheck-io 9
11 quickcheck-arbitrary-template 6
12 quickcheck-unicode 4
13 quickcheck-simple 4
14 quickcheck-with-counterexamples 4
15 quickcheck-property-monad 2
16 symbiote 1
17 quickcheck-report 1
18 tasty-quickcheck-laws 1
19 quickcheck-combinators 1
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives