rustio rustio.net
56

verus_builtin_macros

v0.0.0-2026-03-17-2326 Experimental

Verus Builtin Macros: Various macros used by Verus

MIT Edition 2018
Development tools #verification#verus#verified-rust

Quick Verdict

  • โœ“Actively maintained (updated 10d ago)
  • !Pre-1.0: API may have breaking changes
  • โœ“Permissive license (MIT)

Security

Checking security advisories...
Downloads
32.1K
Dependents
28
Releases
17
Size
112KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

22.3K downloads in the last 30 days (744/day), up 621% from the previous period.

Health Breakdown

Maintenance 18/25

Recency, release consistency, active ratio

Quality 13/25

Yanked ratio, deps, size, maturity, features

Community 11/20

Reverse deps, ownership, ecosystem

Popularity 5/15

Downloads, momentum, growth trend

Documentation 9/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
326/day avg+245%
05001K12/291/162/32/213/113/28

Top Dependents

Most downloaded crates that depend on verus_builtin_macros

Version Adoption

v0.0.0-2026-02-08-0120
30%
v0.0.0-2025-12-07-0054
25%
v0.0.0-2026-03-15-0111
19%
v0.0.0-2026-03-17-2326
14%
v0.0.0-2026-03-08-0103
13%

Release Timeline

17 releasessince 2025
J
F
M
A
M
J
J
A
S
O
N
D
2025
8
2026
9
Less
More

Feature Flags

vpanic

README

Loading README...

Maintainers

Dependencies
6
direct dependencies
Dependents
28
crates depend on verus_builtin_macros

Similar Crates