BetaRare
CakeML/cakeml
CakeML: A Verified Implementation of ML
- Owner
- CakeML (organization)
- Stars
- Stars: 1,219
- Forks
- Forks: 110
- Language
- Standard ML
- License
- BSD-3-Clause
- Created
- 2012
- Topics
- programming-languageformal-verificationformal-semanticscompilertheorem-provingholsml
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in Standard ML
All Standard ML repos- GoldenCheetah/GoldenCheetahStars: 2,251Standard MLRC
- MLton/mltonStars: 1,098Standard MLBeta
- AuditProject/truecrypt-verified-mirrorStars: 871Standard MLBeta
- urweb/urwebStars: 852Standard MLBeta