Haskell Leancheck

Open-source Haskell projects categorized as Leancheck

Top 4 Haskell Leancheck Projects

  • fitspec

    refine properties for testing Haskell programs

  • leancheck

    enumerative property-based testing for Haskell

  • Project mention: Help with stack ghci and LeanCheck | /r/haskell | 2023-12-11

    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".

  • 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.

    InfluxDB logo
  • speculate

    Speculate laws about Haskell functions

  • leancheck-instances

    Common LeanCheck instances

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

Index

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

Project Stars
1 fitspec 74
2 leancheck 51
3 speculate 30
4 leancheck-instances 1

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com