rustio rustio.net

Decision Workspace

verus_syn

Side-by-side comparison of Rust crates

65
verus_syn
experimentalv0.0.0-2026-05-24-0157

Parser for Rust source code extended to support Verus

Core Metrics

verus_syn
Health Score65
Total Downloads67.3K
30d Downloads14.6K
Dependents71
Releases14
Last Updated2d ago
Age9m

Health Breakdown

verus_syn
Maintenance
20
Quality
12
Community
12
Popularity
6
Documentation
15

Technical Details

verus_syn
Version0.0.0-2026-05-24-0157
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies14
Crate Size357KB
Features11
Yanked %7.1%
Edition2021
MSRV1.71
Owners2

Links

verus_syn detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •verus_syn leads with a health score of 65/100, but none of the options score above 80.