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
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
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.
-
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 | 30 Apr 2024
Index
What are some of the best open-source Testing projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | hspec | 736 |
2 | QuickCheck | 692 |
3 | hedgehog | 661 |
4 | tasty | 628 |
5 | DocTest | 369 |
6 | quickspec | 247 |
7 | async-dejafu | 190 |
8 | webdriver | 189 |
9 | genvalidity | 154 |
10 | curl-runnings | 147 |
11 | smallcheck | 133 |
12 | HUnit | 119 |
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