Sign in Sign up
cargo

verus_builtin_macros

Verified Rust for low-level systems code

cargo View on Cargo github View on Github

Activity

Latest release
1w ago
Total releases
34
Cadence
~7 days
Last 12 months
33

Reach

Downloads
244.7k
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-23-0033 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-07-12-0122 pre
0.0.0-2026-06-14-0213 pre
0.0.0-2026-05-31-0205 pre
0.0.0-2026-05-24-0157 pre
0.0.0-2026-05-10-0145 pre
0.0.0-2026-05-06-1803 pre
0.0.0-2026-04-20-1748 pre
0.0.0-2026-04-19-0121 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-17-2326 pre
0.0.0-2026-03-15-0111 pre
0.0.0-2026-03-08-0103 pre
0.0.0-2026-03-01-0109 pre
0.0.0-2026-02-24-1505 pre
0.0.0-2026-02-22-0103 pre
0.0.0-2026-02-15-0106 pre
0.0.0-2026-02-08-0120 pre
0.0.0-2026-01-25-0057 pre
0.0.0-2025-12-07-0054 pre
0.0.0-2025-11-30-0053 pre
0.0.0-2025-11-24-2240 pre
0.0.0-2025-11-16-0050 pre
0.0.0-2025-11-10-1957 pre
0.0.0-2025-11-09-0048 pre
0.0.0-2025-11-05-1950 pre
0.0.0-2025-08-12-1837 pre