|6 days ago||about 1 year ago|
|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.
We haven't tracked posts mentioning tasty yet.
Tracking mentions began in Dec 2020.
Is anyone using quickspec?
2 projects | reddit.com/r/haskell | 16 Aug 2022
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
2 projects | reddit.com/r/haskell | 24 May 2021
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?
hspec - A Testing Framework for Haskell
tasty-hspec - Hspec provider for tasty
DocTest - An implementation of Python's doctest for Haskell
hedgehog - Release with confidence, state-of-the-art property testing for Haskell.
QuickCheck - Automatic testing of Haskell programs.
smartcheck - A Smarter QuickCheck
HUnit - A unit testing framework for Haskell
speculate - Speculate laws about Haskell functions
genvalidity - Validity and validity-based testing
HTF - Haskell Test Framework