AlphaPeu commune
microsoft/verisol
A formal verifier and analysis tool for Solidity Smart Contracts
Archivé : ce dépôt n’évolue plus
- Propriétaire
- microsoft (organisation)
- Étoiles
- Étoiles : 256
- Forks
- Forks : 44
- Langage
- C#
- Licence
- Aucune
- Création
- 2019
- 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 428TypeScriptLTS
- microsoft/markitdownÉtoiles : 193 282PythonLTS
- microsoft/PowerToysÉtoiles : 140 362CLTS
- microsoft/generative-ai-for-beginnersÉtoiles : 122 672Jupyter NotebookLTS
- microsoft/TypeScriptÉtoiles : 111 706GoLTS
- microsoft/terminalÉtoiles : 105 300C++LTS
D’autres dépôts C#
Tous les dépôts C#- isbeorn/ninaÉtoiles : 256C#Alpha
- lofcz/InfidexÉtoiles : 256C#Alpha
- LegendaryGaoZheng/Cross-Game-Recoil-ControlÉtoiles : 256C#Alpha
- jiazheng/BaiduMapTileCutterÉtoiles : 256C#Alpha
- moq/moq.spikesÉtoiles : 256C#Alpha
- omuleanu/ValueInjecterÉtoiles : 256C#Alpha