xpile-contract-backend
v0.1.616 ExperimentalContract backend trait — proof-lane sibling of Backend. Renders contracts as LaTeX / Lean theorems / mdBook.
Quick Verdict
- ✓Actively maintained (updated 9d ago)
- !Pre-1.0: API may have breaking changes
- ✓Tiny footprint (4KB, 3 deps)
- ✓Permissive license (MIT OR Apache-2.0)
Security
Deep Insights
150 downloads in the last 30 days (5/day), up 13% from the previous period.
The primary maintainer publishes 275 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.
Only 3 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.
At 4KB, xpile-contract-backend is lightweight. Small crate size correlates with focused, well-scoped functionality.
Notable dependents include xpile-lean-contract-backend, xpile-latex-contract-backend, xpile-core, xpile. When high-quality crates choose xpile-contract-backend, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on xpile-contract-backend