|about 2 months ago||7 days ago|
|BSD 3-clause "New" or "Revised" License||MIT License|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
[ANN] LeanCheck v1.0.0 – Enumerative Property Testing
5 projects | reddit.com/r/haskell | 22 Aug 2022
Could you compare with https://hackage.haskell.org/package/smallcheck in particular the smallcheck ability "to verify properties for all test cases up to some depth"?
We haven't tracked posts mentioning genvalidity yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
leancheck - enumerative property-based testing for Haskell
hedgehog - Release with confidence, state-of-the-art property testing for Haskell.
hedgehog-classes - Hedgehog will eat your typeclass bugs
quickcheck-state-machine - Test monadic programs using state machine based models
tasty - Modern and extensible testing framework for Haskell
checkers - Check properties on standard classes and data structures
quickspec - Equational laws for free
smallcheck-series - Orphan Series/CoSeries instances for common types
titan - Testing Infrastructure for Temporal AbstractioNs
http-test - Tests for HTTP APIs
smallcheck-laws - Property testing for common type classes