quickspec
sunlight
Our great sponsors
quickspec | sunlight | |
---|---|---|
2 | - | |
247 | 7 | |
- | - | |
5.7 | 0.0 | |
about 1 month ago | almost 10 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.
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 ?
sunlight
We haven't tracked posts mentioning sunlight yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
QuickCheck - Automatic testing of Haskell programs.
smallcheck - Test your Haskell code by exhaustively checking its properties
tasty - Modern and extensible testing framework for Haskell
tasty-golden - Golden test support for Tasty
HTF - Haskell Test Framework
hspec - A Testing Framework for Haskell
speculate - Speculate laws about Haskell functions
hspec-hashable
genvalidity - Validity and validity-based testing
test-fixture - Testing with monadic side-effects
benchpress - Micro-benchmarking of Haskell code with detailed execution time statistics.
bdd - A domain-specific language for testing programs using Behavior-Driven Development (BDD) process in Haskell