Top 19 Haskell Quickcheck Projects
-
-
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.
-
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).
-
-
-
-
hschema
A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
-
-
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.
-
-
quickcheck-arbitrary-adt
Typeclass for generating a list of each instance of a sum type's constructors
-
-
-
-
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Haskell Quickcheck discussion
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 |