Haskell property-testing

Open-source Haskell projects categorized as property-testing

Top 7 Haskell property-testing Projects

  • hedgehog

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

  • smallcheck

    Test your Haskell code by exhaustively checking its properties

    Project mention: [ANN] LeanCheck v1.0.0 – Enumerative Property Testing | reddit.com/r/haskell | 2022-08-22

    Could you compare with https://hackage.haskell.org/package/smallcheck in particular the smallcheck ability "to verify properties for all test cases up to some depth"?


    ONLYOFFICE Docs — document collaboration in your environment. Powerful document editing and collaboration in your app or environment. Ultimate security, API and 30+ ready connectors, SaaS or on-premises

  • fitspec

    refine properties for testing Haskell programs

  • leancheck

    enumerative property-based testing for Haskell

    Project mention: [ANN] LeanCheck v1.0.0 – Enumerative Property Testing | reddit.com/r/haskell | 2022-08-22

    You can take a look at the following section of LeanCheck's FAQ:

  • speculate

    Speculate laws about Haskell functions

  • hedgehog-gen

    Customizable Gen for ADT using Generics

  • leancheck-instances

    Common LeanCheck instances

  • CodiumAI

    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.

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-08-22.

Haskell property-testing related posts


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

Project Stars
1 hedgehog 652
2 smallcheck 133
3 fitspec 73
4 leancheck 45
5 speculate 30
6 hedgehog-gen 1
7 leancheck-instances 1
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.