RCÉpique
verus-lang/verus
Verified Rust for low-level systems code
- Propriétaire
- verus-lang (organisation)
- Étoiles
- Étoiles : 3 536
- Forks
- Forks : 247
- Langage
- Rust
- Licence
- MIT
- Création
- 2021
- Rang
- RC (2 000 à 4 999 ★) Ce que veut dire ce rang
D’autres dépôts Rust
Tous les dépôts Rust- TrustTunnel/TrustTunnelÉtoiles : 3 543RustRC
- carthage-software/magoÉtoiles : 3 541RustRC
- JamieMason/ImageOptim-CLIÉtoiles : 3 538RustRC
- shiyutim/ticketsÉtoiles : 3 532RustRC
- askama-rs/askama-oldÉtoiles : 3 530RustRC
- smallcloudai/refactÉtoiles : 3 529RustRC