rustio rustio.net

Decision Workspace

verus_syn

Side-by-side comparison of Rust crates

61
verus_syn
experimentalv0.0.0-2026-05-31-0205

Parser for Rust source code extended to support Verus

Core Metrics

verus_syn
Health Score61
Total Downloads126.4K
30d Downloads27.7K
Dependents78
Releases15
Last Updated44d ago
Age10m

Health Breakdown

verus_syn
Maintenance
16
Quality
12
Community
12
Popularity
6
Documentation
15

Technical Details

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

Links

verus_syn detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

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