hackage.haskell.org : spectacle
Spectacle is an embedded domain-specific language that provides a family of type-level combinators for authoring specifications of program behavior along with a model checker for verifying that user implementations of a program satisfy written specifications.
Registry
-
Source
- JSON
- codemeta.json
purl: pkg:hackage/spectacle
Keywords:
apache
, concurrency
, library
, testing
, Propose Tags
License: Apache-2.0
Latest release: about 4 years ago
First release: about 4 years ago
Dependent repositories: 1
Downloads: 141 total
Stars: 174 on GitHub
Forks: 12 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago