59
verus_builtin_macros
v0.0.0-2026-07-12-0122 ExperimentalVerus Builtin Macros: Various macros used by Verus
MIT Edition 2018
Quick Verdict
- ✓Actively maintained (updated 2d ago)
- !Pre-1.0: API may have breaking changes
- ✓Permissive license (MIT)
Security
Checking security advisories...
Downloads
117.9K
Dependents
50
Releases
28
Size
121KB
Deep Insights
📈
Strong growth momentum
39.2K downloads in the last 30 days (1.3K/day), up 113% from the previous period.
🌟
Used by top crates
Notable dependents include vstd, smoothutf8, elicitation_verus. When high-quality crates choose verus_builtin_macros, it's a strong quality signal.
Health Breakdown
Maintenance 19/25
Recency, release consistency, active ratio
Quality 13/25
Yanked ratio, deps, size, maturity, features
Community 12/20
Reverse deps, ownership, ecosystem
Popularity 6/15
Downloads, momentum, growth trend
Documentation 9/15
Docs, repo, license, metadata
Download Trend
Daily downloads · last 90 days
759/day avg+80%
Top Dependents
Most downloaded crates that depend on verus_builtin_macros
Version Adoption
v0.0.0-2026-05-31-0205
35%
v0.0.0-2026-04-12-0118
34%
v0.0.0-2026-06-14-0213
14%
v0.0.0-2026-04-20-1748
11%
v0.0.0-2026-04-05-0114
5%
Release Timeline
10 releasessince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
10
LessMore
Feature Flags
vpanic
README
Loading README...
Maintainers
Dependencies
6
direct dependencies
Dependents
50
crates depend on verus_builtin_macros