quickspec
bdd
quickspec | bdd | |
---|---|---|
2 | - | |
247 | 18 | |
- | - | |
5.7 | 0.0 | |
about 2 months ago | over 9 years ago | |
Haskell | Haskell | |
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.
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 ?
bdd
We haven't tracked posts mentioning bdd yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
QuickCheck - Automatic testing of Haskell programs.
swagger-test - Property based testing tool for Swagger APIs
tasty - Modern and extensible testing framework for Haskell
quickcheck-arbitrary-adt - Typeclass for generating a list of each instance of a sum type's constructors
HTF - Haskell Test Framework
markov-chain-usage-model - Computations for Markov chain usage models
hspec - A Testing Framework for Haskell
fuzzcheck - A library for testing monadic code in the spirit of QuickCheck
speculate - Speculate laws about Haskell functions
fitspec - refine properties for testing Haskell programs
hspec-hashable
hspec-expectations - Catchy combinators for HUnit