Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / awakesecurity / spectacle
Embedded specification language & model checker in Haskell
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awakesecurity%2Fspectacle
Stars: 175
Forks: 12
Open Issues: 8
License: apache-2.0
Language: Haskell
Repo Size: 504 KB
Dependencies:
23
Created: about 3 years ago
Updated: 4 months ago
Last pushed: over 1 year ago
Last synced: 20 days ago
Files
Loading...
Readme
Loading...
Dependencies
spectacle.cabal
hackage
- comonad *
- containers >=0.6
- hashable >=1.3.0.0
- logict *
- microlens *
- microlens-mtl *
- mtl >=2.2
- optparse-applicative *
- prettyprinter *
- prettyprinter-ansi-terminal *
- text *
- transformers >=0.5
- comonad * test
- containers * test
- hashable * test
- hedgehog * test
- microlens * test
- spectacle * test
- tasty * test
- tasty-hedgehog * test
.github/workflows/ci.yml
actions
- actions/checkout v3 composite
- cachix/cachix-action v11 composite
- cachix/install-nix-action v17 composite