Haskell property-based-testing

Open-source Haskell projects categorized as property-based-testing

Top 7 Haskell property-based-testing Projects

property-based-testing
  1. hedgehog

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

    Project mention: The sad state of property-based testing libraries | news.ycombinator.com | 2024-07-04

    > - rose tree "integrated shrinking" (eg. Hedgehog) follows the constraints of the generators, but has issues with monadic bind.

    We're at the limits of my amateur knowledge, but I believe this is a fundamental limitation of monadic bind/generators. Instead, you should prefer applicative generators for ideal shrinking. https://github.com/hedgehogqa/haskell-hedgehog/issues/473#is...

    In other words, applicative generators do not use "results of generators to dispatch to another generator", but instead shrinking is optimal due to the "parallel" nature of applicatives (I'm using "parallel" in the monadic sense, and not the sense of article's "threading" sense).

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. smallcheck

    Test your Haskell code by exhaustively checking its properties

  4. fitspec

    refine properties for testing Haskell programs

  5. leancheck

    enumerative property-based testing for Haskell

  6. swagger-test

    Property based testing tool for Swagger APIs

  7. speculate

    Speculate laws about Haskell functions

  8. leancheck-instances

    Common LeanCheck instances

  9. SaaSHub

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

    SaaSHub logo
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).

Haskell property-based-testing discussion

Log in or Post with

Haskell property-based-testing related posts

  • Help with stack ghci and LeanCheck

    2 projects | /r/haskell | 11 Dec 2023
  • Generating Well-Typed Terms that are not "Useless" [pdf]

    2 projects | news.ycombinator.com | 27 Oct 2023
  • [ANN] LeanCheck v1.0.0 – Enumerative Property Testing

    5 projects | /r/haskell | 22 Aug 2022
  • Property-based testing #1: What is it anyway?

    1 project | dev.to | 9 Jun 2022
  • Monthly Hask Anything (February 2022)

    4 projects | /r/haskell | 1 Feb 2022
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 15 May 2025
    InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now. Learn more →

Index

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

# Project Stars
1 hedgehog 686
2 smallcheck 136
3 fitspec 74
4 leancheck 53
5 swagger-test 33
6 speculate 30
7 leancheck-instances 1

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Haskell is
the 25th most popular programming language
based on number of references?