Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
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
purl: pkg:hackage/spectacle
Keywords: apache, concurrency, library, testing
License: Apache-2.0
Latest release: over 2 years ago
First release: over 2 years ago
Dependent repositories: 1
Downloads: 89 total
Stars: 175 on GitHub
Forks: 12 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 14 days ago