Top 4 enumerative-testing Open-Source Projects

fitspec

0 74 6.7 Haskell

refine properties for testing Haskell programs
leancheck

5 51 8.6 Haskell

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

www.influxdata.com featured

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

0 30 9.0 Haskell

Speculate laws about Haskell functions
leancheck-instances

0 1 6.5 Haskell

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