vstd
v0.0.0-2026-05-24-0157 GrowingVerus Standard Library: Useful specifications and lemmas for verifying Rust code
Quick Verdict
- ✓Actively maintained (updated 2d ago)
- !Pre-1.0: API may have breaking changes
- ✓Tiny footprint (267KB, 3 deps)
- ✓Permissive license (MIT)
Security
Deep Insights
14.0K downloads in the last 30 days, down 23% from the previous period. May indicate migration to alternatives.
Despite being 1+ years old, vstd hasn't reached 1.0 yet. Expect potential API changes between versions.
Only 3 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.
Notable dependents include r2u2_core, vest_lib, t4-verified, t4, elicitation_verus. When high-quality crates choose vstd, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on vstd
Version Adoption
Release Timeline
Feature Flags
default =["std"]
