vstd
Verified Rust for low-level systems code
Activity
- Latest release
- 4d ago
- Total releases
- 48
- Cadence
- ~7 days
- Last 12 months
- 46
Reach
- Downloads
- 659.6k
- Stars
- 3.5k
Details
- License
- MIT
- First release
- Jun 26, 2024
Releases
Verified Rust for low-level systems code