rustio rustio.net

Decision Workspace

aprender-contracts

Side-by-side comparison of Rust crates

57
aprender-contracts
experimentalv0.60.0

Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels

Core Metrics

aprender-contracts
Health Score57
Total Downloads5.1K
30d Downloads1.0K
Dependents68
Releases19
Last Updated7d ago
Age3m

Health Breakdown

aprender-contracts
Maintenance
20
Quality
10
Community
11
Popularity
4
Documentation
12

Technical Details

aprender-contracts
Version0.60.0
Stable (≥1.0)✗ No
LicenseMIT
Dependencies12
Crate Size352KB
Features2
Yanked %5.3%
Edition2021
MSRV1.89
Owners1

Links

aprender-contracts detail →GitHub ↗crates.io ↗

Quick Verdict

  • •aprender-contracts leads with a health score of 57/100, but none of the options score above 80.