rustio rustio.net

Decision Workspace

kocheck

Side-by-side comparison of Rust crates

38
kocheck
growingv0.4.2

Type checker for the lambda-Pi calculus modulo rewriting

Core Metrics

kocheck
Health Score38
Total Downloads8.9K
30d Downloads8
Dependents0
Releases7
Last Updated809d ago
Age5y

Health Breakdown

kocheck
Maintenance
5
Quality
10
Community
6
Popularity
5
Documentation
12

Technical Details

kocheck
Version0.4.2
Stable (≥1.0)✗ No
LicenseGPL-3.0-only
Dependencies8
Crate Size12KB
Features1
Yanked %14.3%
Edition2021
MSRV1.64
Owners1

Links

kocheck detail →GitHub ↗crates.io ↗

Quick Verdict

  • •kocheck leads with a health score of 38/100, but none of the options score above 80.
  • •⚠ kocheck has not been updated in over a year.