rustio rustio.net

Decision Workspace

praborrow-defense

Side-by-side comparison of Rust crates

54
praborrow-defense
experimentalv1.2.2

Procedural macros for invariant verification. Generates runtime checks and SMT-based formal verification.

Core Metrics

praborrow-defense
Health Score54
Total Downloads412
30d Downloads39
Dependents21
Releases21
Last Updated73d ago
Age2m

Health Breakdown

praborrow-defense
Maintenance
15
Quality
16
Community
10
Popularity
3
Documentation
10

Technical Details

praborrow-defense
Version1.2.2
Stable (≥1.0)✓ Yes
LicenseMIT
Dependencies7
Crate Size13KB
Features0
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

praborrow-defense detail →GitHub ↗crates.io ↗

Quick Verdict

  • •praborrow-defense leads with a health score of 54/100, but none of the options score above 80.