rustio rustio.net

Decision Workspace

xpile-contract-backend

Side-by-side comparison of Rust crates

47
xpile-contract-backend
experimentalv0.1.616

Contract backend trait — proof-lane sibling of Backend. Renders contracts as LaTeX / Lean theorems / mdBook.

Core Metrics

xpile-contract-backend
Health Score47
Total Downloads281
30d Downloads0
Dependents28
Releases7
Last Updated9d ago
Age1m

Health Breakdown

xpile-contract-backend
Maintenance
13
Quality
14
Community
5
Popularity
3
Documentation
12

Technical Details

xpile-contract-backend
Version0.1.616
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies3
Crate Size4KB
Features0
Yanked %0.0%
Edition2021
MSRV1.93
Owners1

Links

xpile-contract-backend detail →GitHub ↗crates.io ↗

Quick Verdict

  • •xpile-contract-backend leads with a health score of 47/100, but none of the options score above 80.