verus_syn
v2.0.96+veruscrates.io· RustParser for Rust source code extended to support Verus
The verdict
Deprecated. Don't start a new project on this. yanked
yanked
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceDeprecated
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Package author marked it deprecated.
Popularity
4.3K downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0 OR MIT
Dependencies
No runtime dependencies
Recent releases
- 0.0.0-2026-05-31-0205this month
- 0.0.0-2026-05-24-0157this month
- 0.0.0-2026-05-10-0145this month
- 0.0.0-2026-05-06-1803this month
- 0.0.0-2026-04-05-01141 month ago
- 0.0.0-2026-03-15-01113 months ago
- 0.0.0-2026-02-24-15053 months ago
- 0.0.0-2026-02-15-01064 months ago