bdd
quickspec
Our great sponsors
bdd | quickspec | |
---|---|---|
- | 2 | |
18 | 247 | |
- | - | |
0.0 | 5.7 | |
over 9 years ago | about 1 month ago | |
Haskell | Haskell | |
MIT 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.
bdd
We haven't tracked posts mentioning bdd yet.
Tracking mentions began in Dec 2020.
quickspec
-
Is anyone using quickspec?
It looks like that change is on github, but the version wasn't bumped, nor was it pushed to hackage https://github.com/nick8325/quickspec/blob/master/quickspec.cabal Perhaps try using github as the source instead of hackage?
-
Reverse of quickspec
Quickspec (https://github.com/nick8325/quickspec) is awesome in discovering laws in the code we write. But I am in search for a tool (the reverse) , which given the spec, can it synthesise code ?
What are some alternatives?
swagger-test - Property based testing tool for Swagger APIs
QuickCheck - Automatic testing of Haskell programs.
quickcheck-arbitrary-adt - Typeclass for generating a list of each instance of a sum type's constructors
tasty - Modern and extensible testing framework for Haskell
markov-chain-usage-model - Computations for Markov chain usage models
HTF - Haskell Test Framework
fuzzcheck - A library for testing monadic code in the spirit of QuickCheck
hspec - A Testing Framework for Haskell
fitspec - refine properties for testing Haskell programs
speculate - Speculate laws about Haskell functions
hspec-expectations - Catchy combinators for HUnit
hspec-hashable