rustio rustio.net

Decision Workspace

aprender-contracts

Side-by-side comparison of Rust crates

51
aprender-contracts
experimentalv0.35.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 Score51
Total Downloads2.2K
30d Downloads1.5K
Dependents22
Releases8
Last Updated3d ago
Age1m

Health Breakdown

aprender-contracts
Maintenance
16
Quality
9
Community
10
Popularity
4
Documentation
12

Technical Details

aprender-contracts
Version0.35.0
Stable (≥1.0)✗ No
LicenseMIT
Dependencies11
Crate Size342KB
Features2
Yanked %12.5%
Edition2021
MSRV1.89
Owners1

Links

aprender-contracts detail →GitHub ↗crates.io ↗

Quick Verdict

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