BêtaRare
GaloisInc/cryptol
Cryptol: The Language of Cryptography
- Propriétaire
- GaloisInc (organisation)
- Étoiles
- Étoiles : 1 226
- Forks
- Forks : 130
- Langage
- Haskell
- Licence
- BSD-3-Clause
- Création
- 2014
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de GaloisInc
Les 15 dépôts de GaloisInc- GaloisInc/HaLVMÉtoiles : 1 069HaskellBêta
- GaloisInc/crucibleÉtoiles : 781HaskellBêta
- GaloisInc/saw-scriptÉtoiles : 524HaskellAlpha
- GaloisInc/ivoryÉtoiles : 417HaskellAlpha
- GaloisInc/swankyÉtoiles : 366SieveAlpha
- GaloisInc/reoptÉtoiles : 344LLVMAlpha
D’autres dépôts Haskell
Tous les dépôts Haskell- quchen/articlesÉtoiles : 1 307HaskellBêta
- faylang/fayÉtoiles : 1 285HaskellBêta
- google/codeworldÉtoiles : 1 270HaskellBêta
- fullstack-development/developers-roadmapÉtoiles : 1 221HaskellBêta
- hasktorch/hasktorchÉtoiles : 1 217HaskellBêta
- reanimate/reanimateÉtoiles : 1 213HaskellBêta