BêtaRare
CakeML/cakeml
CakeML: A Verified Implementation of ML
- Propriétaire
- CakeML (organisation)
- Étoiles
- Étoiles : 1 219
- Forks
- Forks : 110
- Langage
- Standard ML
- Licence
- BSD-3-Clause
- Création
- 2012
- Sujets
- programming-languageformal-verificationformal-semanticscompilertheorem-provingholsml
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
D’autres dépôts Standard ML
Tous les dépôts Standard ML- GoldenCheetah/GoldenCheetahÉtoiles : 2 250Standard MLRC
- MLton/mltonÉtoiles : 1 097Standard MLBêta
- AuditProject/truecrypt-verified-mirrorÉtoiles : 871Standard MLBêta
- urweb/urwebÉtoiles : 852Standard MLBêta