Haskell Smallcheck

Open-source Haskell projects categorized as Smallcheck

Top 5 Haskell Smallcheck Projects

  • hspec

    A Testing Framework for Haskell

    Project mention: Show HN: IHP v1.0 (Batteries-included web framework built on Haskell and Nix) | news.ycombinator.com | 2022-10-24

    While of course Haskell has more normal testing infrastructure available (eg. https://hspec.github.io/), my favorite bit of Haskell testing is QuickCheck, which IIUC started life in Haskell and has been reimplemented in other languages with various degrees of effectiveness and various degrees of connection to the original project.

    John Hughes (not the filmmaker) gives a great talk about it: https://youtu.be/zi0rHwfiX1Q

  • tasty

    Modern and extensible testing framework for Haskell

  • Mergify

    Updating dependencies is time-consuming.. Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free.

  • smallcheck

    Test your Haskell code by exhaustively checking its properties

  • smallcheck-series

    Orphan Series/CoSeries instances for common types

  • smallcheck-laws

    Property testing for common type classes

  • SonarLint

    Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

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). The latest post mention was on 2022-10-24.

Haskell Smallcheck related posts


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

Project Stars
1 hspec 722
2 tasty 623
3 smallcheck 134
4 smallcheck-series 4
5 smallcheck-laws 1
Collect and Analyze Billions of Data Points in Real Time
Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.