Haskell Leancheck

Open-source Haskell projects categorized as Leancheck

Top 4 Haskell Leancheck Projects

  • fitspec

    refine properties for testing Haskell programs

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

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

Haskell Leancheck discussion

Log in or Post with

Index

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

Project Stars
1 fitspec 75
2 leancheck 52
3 speculate 30
4 leancheck-instances 1

Sponsored
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.
www.influxdata.com