Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
Top 23 Haskell Testing Projects
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
curl-runnings
A declarative test framework for quickly and easily writing integration tests against JSON APIs.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Project mention: Generating Well-Typed Terms that are not "Useless" [pdf] | news.ycombinator.com | 2023-10-27Using laziness to avoid generating parts of an expression until it's needed is a really nice idea. The LazySmallCheck package[1] took this approach, but was limited in the types of data it could produce (e.g. it couldn't generate functions). This was extended by LazySmallCheck2012[2], but that seems to be unmaintained and doesn't work with more recent GHC versions.
(Note that these are named in reference to SmallCheck[3], which takes the approach of enumerating concrete values in order of "size"; as an alternative to the more widely-used QuickCheck[4], which generates concrete values at random, and tries to "shrink" those which trigger a failure)
[1] https://hackage.haskell.org/package/lazysmallcheck
[2] https://github.com/UoYCS-plasma/LazySmallCheck2012
[3] https://hackage.haskell.org/package/smallcheck
[4] https://hackage.haskell.org/package/QuickCheck
Hey, I am an IT student, and was given the task to install Leancheck. I managed to do that by following the instructions on: https://github.com/rudymatela/leancheck/blob/master/README.md Now it works if I do "ghci" and then "import Test.LeanCheck".
Haskell Testing related posts
-
Help with stack ghci and LeanCheck
-
Generating Well-Typed Terms that are not "Useless" [pdf]
-
Ask HN: Is writing a math proof like programming without ever running your code?
-
I’ve created a tool that generates automated integration tests by recording and analyzing API requests and server activity. Within 1 hour of recording, it gets to 90% code coverage.
-
Deriving via type parameters
-
HSpec, Tasty, sydtest, Hunit, ... -> what do you use for writing Haskell tests?
-
Show HN: IHP v1.0 (Batteries-included web framework built on Haskell and Nix)
-
A note from our sponsor - InfluxDB
www.influxdata.com | 17 May 2024
Index
What are some of the best open-source Testing projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | hspec | 737 |
2 | QuickCheck | 696 |
3 | hedgehog | 663 |
4 | tasty | 632 |
5 | DocTest | 369 |
6 | quickspec | 247 |
7 | async-dejafu | 190 |
8 | webdriver | 189 |
9 | curl-runnings | 156 |
10 | genvalidity | 155 |
11 | smallcheck | 133 |
12 | HUnit | 123 |
13 | shelltestrunner | 119 |
14 | generic-random | 81 |
15 | checkers | 79 |
16 | fitspec | 74 |
17 | ghc-prof-flamegraph | 73 |
18 | monad-mock | 71 |
19 | hspec-wai | 64 |
20 | hedgehog-classes | 56 |
21 | leancheck | 51 |
22 | HTF | 50 |
23 | type-spec | 49 |
Sponsored