BetaRare
GaloisInc/cryptol
Cryptol: The Language of Cryptography
- Owner
- GaloisInc (organization)
- Stars
- Stars: 1,227
- Forks
- Forks: 130
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2014
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by GaloisInc
All 15 repos by GaloisInc- GaloisInc/HaLVMStars: 1,069HaskellBeta
- GaloisInc/crucibleStars: 781HaskellBeta
- GaloisInc/saw-scriptStars: 525HaskellAlpha
- GaloisInc/ivoryStars: 417HaskellAlpha
- GaloisInc/swankyStars: 366SieveAlpha
- GaloisInc/reoptStars: 344LLVMAlpha
Nearby in Haskell
All Haskell repos- faylang/fayStars: 1,285HaskellBeta
- google/codeworldStars: 1,270HaskellBeta
- reanimate/reanimateStars: 1,233HaskellBeta
- fullstack-development/developers-roadmapStars: 1,221HaskellBeta
- hasktorch/hasktorchStars: 1,217HaskellBeta
- ndmitchell/ghcidStars: 1,203HaskellBeta