rustio rustio.net
58

verus_builtin_macros

v0.0.0-2026-05-24-0157 Experimental

Verus Builtin Macros: Various macros used by Verus

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

Quick Verdict

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

Security

Checking security advisories...
Downloads
64.0K
Dependents
40
Releases
25
Size
117KB

Deep Insights

๐Ÿ“‰
Download decline

14.2K downloads in the last 30 days, down 23% from the previous period. May indicate migration to alternatives.

Health Breakdown

Maintenance 19/25

Recency, release consistency, active ratio

Quality 13/25

Yanked ratio, deps, size, maturity, features

Community 11/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
607/day avg-45%
05001K2/263/164/34/215/95/26

Top Dependents

Most downloaded crates that depend on verus_builtin_macros

Version Adoption

v0.0.0-2026-04-12-0118
46%
v0.0.0-2026-03-17-2326
15%
v0.0.0-2026-03-15-0111
15%
v0.0.0-2026-03-29-0113
14%
v0.0.0-2026-04-05-0114
10%

Release Timeline

10 releasessince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
10
Less
More

Feature Flags

vpanic

README

Loading README...

Maintainers

Dependencies
6
direct dependencies
Dependents
40
crates depend on verus_builtin_macros

Similar Crates