PrototypeCommune
awakesecurity/spectacle
Embedded specification language & model checker in Haskell
- Propriétaire
- awakesecurity (organisation)
- Étoiles
- Étoiles : 181
- Forks
- Forks : 12
- Langage
- Haskell
- Licence
- Apache-2.0
- Création
- 2021
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de awakesecurity
Les 4 dépôts de awakesecurity- awakesecurity/gRPC-haskellÉtoiles : 251HaskellAlpha
- awakesecurity/nix-deployÉtoiles : 169HaskellPrototype
- awakesecurity/hockerÉtoiles : 128HaskellPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- lykahb/groundhogÉtoiles : 181HaskellPrototype
- ekmett/propagatorsÉtoiles : 181HaskellPrototype
- GaloisInc/what4Étoiles : 181HaskellPrototype