PrototypeCommune
microsoft/verus-proof-synthesis
Pas de description.
- Propriétaire
- microsoft (organisation)
- Étoiles
- Étoiles : 133
- Forks
- Forks : 26
- Langage
- Rust
- Licence
- MIT
- Création
- 2024
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de microsoft
Les 1 922 dépôts de microsoft- microsoft/vscodeÉtoiles : 194 543TypeScriptLTS
- microsoft/markitdownÉtoiles : 193 786PythonLTS
- microsoft/PowerToysÉtoiles : 140 513CLTS
- microsoft/generative-ai-for-beginnersÉtoiles : 122 938Jupyter NotebookLTS
- microsoft/TypeScriptÉtoiles : 111 732GoLTS
- microsoft/terminalÉtoiles : 105 321C++LTS
D’autres dépôts Rust
Tous les dépôts Rust- CosmicFrontierLabs/unlinkedÉtoiles : 133RustPrototype
- nailuj05/framemateÉtoiles : 133RustPrototype
- Fazmin/cve-intelÉtoiles : 133RustPrototype
- wycats/rust-activesupportÉtoiles : 133RustPrototype
- carllerche/syncboxÉtoiles : 133RustPrototype
- InQuicker/kawsÉtoiles : 133RustPrototype