AlphaPeu commune
microsoft/Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
- Propriétaire
- microsoft (organisation)
- Étoiles
- Étoiles : 272
- Forks
- Forks : 62
- Langage
- Dafny
- Licence
- Aucune
- Création
- 2015
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de microsoft
Les 1 923 dépôts de microsoft- microsoft/vscodeÉtoiles : 194 462TypeScriptLTS
- microsoft/markitdownÉtoiles : 193 282PythonLTS
- microsoft/PowerToysÉtoiles : 140 398CLTS
- microsoft/generative-ai-for-beginnersÉtoiles : 122 672Jupyter NotebookLTS
- microsoft/TypeScriptÉtoiles : 111 714GoLTS
- microsoft/terminalÉtoiles : 105 311C++LTS
D’autres dépôts Dafny
Tous les dépôts Dafny- Consensys-Incorporated/evm-dafnyÉtoiles : 141DafnyPrototype