Haskell Quickcheck

Open-source Haskell projects categorized as Quickcheck

Top 19 Haskell Quickcheck Projects

  1. hspec

    A Testing Framework for Haskell

  2. Nutrient

    Nutrient – The #1 PDF SDK Library, trusted by 10K+ developers. Other PDF SDKs promise a lot - then break. Laggy scrolling, poor mobile UX, tons of bugs, and lack of support cost you endless frustrations. Nutrient’s SDK handles billion-page workloads - so you don’t have to debug PDFs. Used by ~1 billion end users in more than 150 different countries.

    Nutrient logo
  3. 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).

  4. tasty

    Modern and extensible testing framework for Haskell

  5. generic-random

    Generic random generators (by Lysxia)

  6. titan

    Testing Infrastructure for Temporal AbstractioNs

  7. hschema

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

  8. quickcheck-higherorder

    QuickCheck extension for higher-order properties

  9. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  10. quickcheck-instances

    Instances for QuickCheck classes

  11. quickcheck-arbitrary-adt

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

  12. quickcheck-io

    Use HUnit assertions as QuickCheck properties

  13. quickcheck-arbitrary-template

    Arbitrary QuickCheck instance generation using template haskell

  14. quickcheck-unicode

    Unicode support for QuickCheck

  15. quickcheck-simple

    Test properties and default-mains for QuickCheck

  16. quickcheck-with-counterexamples

    Get counterexamples out of QuickCheck as Haskell values

  17. quickcheck-property-monad

    A monad for building quickcheck properties

  18. tasty-quickcheck-laws

    Tasty trees for your lawful class instances

  19. symbiote

    Data serialization verification implementation

  20. quickcheck-report

  21. quickcheck-combinators

    type-level combinators for quickcheck instances

  22. 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 Quickcheck discussion

Log in or Post with

Index

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

# Project Stars
1 hspec 761
2 hedgehog 681
3 tasty 648
4 generic-random 81
5 titan 22
6 hschema 20
7 quickcheck-higherorder 17
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 3
16 tasty-quickcheck-laws 2
17 symbiote 1
18 quickcheck-report 1
19 quickcheck-combinators 1

Sponsored
Nutrient – The #1 PDF SDK Library, trusted by 10K+ developers
Other PDF SDKs promise a lot - then break. Laggy scrolling, poor mobile UX, tons of bugs, and lack of support cost you endless frustrations. Nutrient’s SDK handles billion-page workloads - so you don’t have to debug PDFs. Used by ~1 billion end users in more than 150 different countries.
www.nutrient.io

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