AlphaPeu commune
microsoft/SLAyer
SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
Archivé : ce dépôt n’évolue plus
- Propriétaire
- microsoft (organisation)
- Étoiles
- Étoiles : 326
- Forks
- Forks : 24
- Langage
- OCaml
- Licence
- Aucune
- Création
- 2016
- 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 OCaml
Tous les dépôts OCaml- chshersh/zbgÉtoiles : 335OCamlAlpha
- ocsigen/eliomÉtoiles : 329OCamlAlpha
- OCamlPro/owiÉtoiles : 329OCamlAlpha
- pirapira/bambooÉtoiles : 323OCamlAlpha
- mhallin/graphql_ppxÉtoiles : 322OCamlAlpha
- mirleft/ocaml-tlsÉtoiles : 321OCamlAlpha