verus_builtin
Verified Rust for low-level systems code
View on Github
Activity
- Latest release
- 1w ago
- Total releases
- 23
- Cadence
- ~7 days
- Last 12 months
- 22
Reach
- Downloads
- 226.4k
- Stars
- 3.0k
Details
- License
- MIT
- First release
- Aug 22, 2025
Releases
| Version | Released | |
|---|---|---|
0.0.0-2026-09-06-0133
pre
| ||
0.0.0-2026-08-30-0159
pre
| ||
0.0.0-2026-08-09-0044
pre
| ||
0.0.0-2026-08-02-0125
pre
| ||
0.0.0-2026-07-27-0206
pre
| ||
0.0.0-2026-05-17-0151
pre
| ||
0.0.0-2026-05-16-0223
pre
| ||
0.0.0-2026-05-06-1803
pre
| ||
0.0.0-2026-04-12-0118
pre
| ||
0.0.0-2026-04-05-0114
pre
| ||
0.0.0-2026-03-29-0113
pre
| ||
0.0.0-2026-03-22-0106
pre
| ||
0.0.0-2026-03-17-2326
pre
| ||
0.0.0-2026-03-01-0109
pre
| ||
0.0.0-2026-02-24-1505
pre
| ||
0.0.0-2026-02-08-0120
pre
| ||
0.0.0-2026-01-25-0057
pre
| ||
0.0.0-2026-01-11-0057
pre
| ||
0.0.0-2026-01-04-0057
pre
| ||
0.0.0-2025-12-28-0056
pre
| ||
0.0.0-2025-12-14-0054
pre
| ||
0.0.0-2025-12-07-0054
pre
| ||
0.0.0-2025-08-12-1837
pre
|