sunlight
quickspec
sunlight | quickspec | |
---|---|---|
- | 2 | |
7 | 247 | |
- | - | |
0.0 | 5.7 | |
almost 10 years ago | about 2 months 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.
sunlight
We haven't tracked posts mentioning sunlight 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?
smallcheck - Test your Haskell code by exhaustively checking its properties
QuickCheck - Automatic testing of Haskell programs.
tasty-golden - Golden test support for Tasty
tasty - Modern and extensible testing framework for Haskell
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