Haskell Testing

Open-source Haskell projects categorized as Testing

Top 23 Haskell Testing Projects

  1. echidna

    Ethereum smart contract fuzzer

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. hspec

    A Testing Framework for Haskell

  4. QuickCheck

    Automatic testing of Haskell programs. (by nick8325)

    Project mention: What Are the Best Haskell Libraries in 2025? | dev.to | 2025-04-18

    Website: QuickCheck GitHub

  5. 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).

  6. tasty

    Modern and extensible testing framework for Haskell

  7. DocTest

    An implementation of Python's doctest for Haskell (by sol)

    Project mention: SDK-Driven Development: A Litmus Test for Good Software Design | dev.to | 2025-05-15

    I learned how to convert such principles to my own inner voice (or one of them). It makes it easier to internalize them for practicing. For example, I noticed how my inner voice was motivating me to use the HtDP Design Recipe in my career even today, after teaching it more than 15 years ago. I have been actively using doctest in Python and doctest in Haskell, which are analogous to "Examples" and "Tests" in the HtDP Design Recipe. I even changed my go-to language to Haskell to paint HtDP Design Recipe's "Contract" more clearly, using strongly typed data definitions and type constraints.

  8. quickspec

    Equational laws for free

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  10. async-dejafu

    Systematic concurrency testing meets Haskell.

  11. webdriver

    A Haskell client for the Selenium WebDriver protocol.

  12. genvalidity

    Validity and validity-based testing

  13. curl-runnings

    A declarative test framework for quickly and easily writing integration tests against JSON APIs.

  14. shelltestrunner

    Easy, repeatable testing of CLI programs/commands

  15. smallcheck

    Test your Haskell code by exhaustively checking its properties

  16. HUnit

    A unit testing framework for Haskell

    Project mention: ¿Cómo instalar Haskell? | dev.to | 2025-03-24
  17. generic-random

    Generic random generators (by Lysxia)

  18. checkers

    Check properties on standard classes and data structures

  19. ghc-prof-flamegraph

  20. fitspec

    refine properties for testing Haskell programs

  21. hspec-wai

    Helpers to test WAI applications with Hspec

  22. hedgehog-classes

    Hedgehog will eat your typeclass bugs

  23. leancheck

    enumerative property-based testing for Haskell

  24. HTF

    Haskell Test Framework

  25. type-spec

    A tiny EDSL to write type-level-unit tests

  26. 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 Testing discussion

Log in or Post with

Haskell Testing related posts

  • What Are the Best Haskell Libraries in 2025?

    3 projects | dev.to | 18 Apr 2025
  • Help with stack ghci and LeanCheck

    2 projects | /r/haskell | 11 Dec 2023
  • Generating Well-Typed Terms that are not "Useless" [pdf]

    2 projects | news.ycombinator.com | 27 Oct 2023
  • Ask HN: Is writing a math proof like programming without ever running your code?

    3 projects | news.ycombinator.com | 27 Apr 2023
  • 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.

    4 projects | /r/programming | 13 Feb 2023
  • Deriving via type parameters

    1 project | /r/haskell | 26 Jan 2023
  • HSpec, Tasty, sydtest, Hunit, ... -> what do you use for writing Haskell tests?

    2 projects | /r/haskell | 15 Jan 2023
  • A note from our sponsor - SaaSHub
    www.saashub.com | 21 May 2025
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

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

# Project Stars
1 echidna 2,890
2 hspec 773
3 QuickCheck 747
4 hedgehog 686
5 tasty 649
6 DocTest 386
7 quickspec 255
8 async-dejafu 197
9 webdriver 195
10 genvalidity 160
11 curl-runnings 159
12 shelltestrunner 137
13 smallcheck 136
14 HUnit 129
15 generic-random 81
16 checkers 79
17 ghc-prof-flamegraph 77
18 fitspec 74
19 hspec-wai 66
20 hedgehog-classes 56
21 leancheck 53
22 HTF 53
23 type-spec 49

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

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