quickcheck-arbitrary-adt
quickcheck-with-counterexamples
Our great sponsors
- InfluxDB - Collect and Analyze Billions of Data Points in Real Time
- Onboard AI - Learn any GitHub repo in 59 seconds
- SaaSHub - Software Alternatives and Reviews
quickcheck-arbitrary-adt | quickcheck-with-counterexamples | |
---|---|---|
0 | 0 | |
11 | 4 | |
- | - | |
0.0 | 0.0 | |
over 1 year ago | over 4 years ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" 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.
quickcheck-arbitrary-adt
We haven't tracked posts mentioning quickcheck-arbitrary-adt yet.
Tracking mentions began in Dec 2020.
quickcheck-with-counterexamples
We haven't tracked posts mentioning quickcheck-with-counterexamples yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
hedgehog - Release with confidence, state-of-the-art property testing for Haskell.
quickcheck-io - Use HUnit assertions as QuickCheck properties
quickcheck-instances - Instances for QuickCheck classes
quickcheck-higherorder - QuickCheck extension for higher-order properties
bdd - A domain-specific language for testing programs using Behavior-Driven Development (BDD) process in Haskell
quickcheck-report
axiomatic-classes - Specify axioms for type classes and quickCheck all available instances
quickcheck-combinators - type-level combinators for quickcheck instances
quickcheck-state-machine - Test monadic programs using state machine based models
quickcheck-unicode - Unicode support for QuickCheck
quickcheck-property-monad - A monad for building quickcheck properties