61
verus_builtin
v0.0.0-2026-05-17-0151 ExperimentalVerus Builtins: Rust definitions for core constructs in Verus
MIT Edition 2018
Quick Verdict
- ✓Actively maintained (updated 58d ago)
- !Pre-1.0: API may have breaking changes
- ✓Tiny footprint (14KB, 0 deps)
- ✓Permissive license (MIT)
Security
Checking security advisories...
Downloads
115.0K
Dependents
49
Releases
18
Size
14KB
Deep Insights
📈
Strong growth momentum
36.4K downloads in the last 30 days (1.2K/day), up 96% from the previous period.
🪶
Zero dependencies
verus_builtin has no external dependencies — minimal supply chain risk and fast compile times.
📐
Compact crate
At 14KB, verus_builtin is lightweight. Small crate size correlates with focused, well-scoped functionality.
Health Breakdown
Maintenance 16/25
Recency, release consistency, active ratio
Quality 15/25
Yanked ratio, deps, size, maturity, features
Community 12/20
Reverse deps, ownership, ecosystem
Popularity 6/15
Downloads, momentum, growth trend
Documentation 12/15
Docs, repo, license, metadata
Download Trend
Daily downloads · last 90 days
726/day avg+62%
Top Dependents
Most downloaded crates that depend on verus_builtin
Version Adoption
v0.0.0-2026-05-17-0151
42%
v0.0.0-2026-04-12-0118
36%
v0.0.0-2026-03-01-0109
11%
v0.0.0-2026-03-22-0106
6%
v0.0.0-2026-03-29-0113
6%
Release Timeline
10 releasessince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
10
LessMore
README
Loading README...
Maintainers
Dependencies
0
direct dependencies
Dependents
49
crates depend on verus_builtin