RCEpic
verus-lang/verus
Verified Rust for low-level systems code
- Owner
- verus-lang (organization)
- Stars
- Stars: 3,539
- Forks
- Forks: 247
- Language
- Rust
- License
- MIT
- Created
- 2021
- Tier
- RC (2,000 to 4,999 ★) What this tier means
Nearby in Rust
All Rust repos- TrustTunnel/TrustTunnelStars: 3,547RustRC
- Auburn/FastNoiseLiteStars: 3,544RustRC
- carthage-software/magoStars: 3,542RustRC
- JamieMason/ImageOptim-CLIStars: 3,538RustRC
- shiyutim/ticketsStars: 3,535RustRC
- askama-rs/askama-oldStars: 3,530RustRC