BetaRare
AuditProject/truecrypt-verified-mirror
Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
- Owner
- AuditProject (personal account)
- Stars
- Stars: 871
- Forks
- Forks: 266
- Language
- Standard ML
- License
- None
- Created
- 2014
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in Standard ML
All Standard ML repos- GoldenCheetah/GoldenCheetahStars: 2,251Standard MLRC
- CakeML/cakemlStars: 1,219Standard MLBeta
- MLton/mltonStars: 1,098Standard MLBeta
- urweb/urwebStars: 852Standard MLBeta
- HOL-Theorem-Prover/HOLStars: 768Standard MLBeta
- miaoermua/CatWrtStars: 649Standard MLAlpha