Haskell property-based-testing

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

Top 7 Haskell property-based-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:

  • swagger-test

    Property based testing tool for Swagger APIs

  • speculate

    Speculate laws about Haskell functions

  • leancheck-instances

    Common LeanCheck instances

  • 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.

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-based-testing related posts


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

Project Stars
1 hedgehog 653
2 smallcheck 134
3 fitspec 73
4 leancheck 45
5 swagger-test 33
6 speculate 30
7 leancheck-instances 1
Static code analysis for 29 languages.
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.