purescript-quickcheck-laws
Typeclass tests
QuickCheck-powered tests for PureScript's core typeclasses
QuickCheck powered law tests for PureScript's core typeclasses.
25 stars
5 watching
18 forks
Language: PureScript
last commit: almost 4 years agoLinked from 1 awesome list
passy/awesome-purescriptRelated projects:
| Repository | Description | Stars |
|---|---|---|
 purescript/purescript-quickcheck | An implementation of a property-based testing framework in PureScript | 104 |
| purescript-contrib/purescript-react | Low-level React bindings for the PureScript programming language | 402 |
| purescript-contrib/purescript-css | A type-safe library for describing and manipulating CSS. | 107 |
 quickchick/quickchick | A Coq plugin for property-based testing of software systems | 259 |
 fscheck/fscheck | Automatically tests .NET programs by generating random test cases based on predefined properties | 1,169 |
 nick8325/quickcheck | Automated testing of program properties in Haskell programs. | 728 |
| purescript-contrib/purescript-routing | A type-safe client-side routing library for PureScript | 105 |
| purescript-contrib/purescript-arraybuffer | Provides bindings and implementation for mutable JavaScript ArrayBuffers | 7 |
 nicoabie/quickcheck | Randomized testing of program properties in Prolog | 22 |
 typelift/swiftcheck | A testing library that generates random data to test program properties in Swift | 1,415 |
 bodil/purescript-test-unit | An asynchronous unit test runner for PureScript | 87 |
 leebyron/testcheck-js | Generative property testing for JavaScript programs | 1,179 |
 purescript-react/purescript-react-basic | An opinionated set of bindings to the React library, providing optimized types and tools for basic use cases | 283 |
 c-cube/qcheck | A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation. | 354 |
| purescript-contrib/purescript-matryoshka | Provides generalized folds, unfolds, and traversals for fixed point data structures | 59 |