PrototypeCommon
awakesecurity/spectacle
Embedded specification language & model checker in Haskell
- Owner
- awakesecurity (organization)
- Stars
- Stars: 181
- Forks
- Forks: 12
- Language
- Haskell
- License
- Apache-2.0
- Created
- 2021
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by awakesecurity
All 4 repos by awakesecurity- awakesecurity/gRPC-haskellStars: 251HaskellAlpha
- awakesecurity/nix-deployStars: 169HaskellPrototype
- awakesecurity/hockerStars: 128HaskellPrototype
Nearby in Haskell
All Haskell repos- lykahb/groundhogStars: 181HaskellPrototype
- ekmett/propagatorsStars: 181HaskellPrototype
- GaloisInc/what4Stars: 181HaskellPrototype