rustio rustio.net

Decision Workspace

tla-cli

Side-by-side comparison of Rust crates

44
tla-cli
experimentalv0.1.2

TLA+ CLI for linting, formatting, and TLC checks

Core Metrics

tla-cli
Health Score44
Total Downloads76
30d Downloads5
Dependents0
Releases3
Last Updated126d ago
Age4m

Health Breakdown

tla-cli
Maintenance
13
Quality
12
Community
5
Popularity
2
Documentation
12

Technical Details

tla-cli
Version0.1.2
Stable (≥1.0)✗ No
LicenseMIT
Dependencies11
Crate Size15KB
Features0
Yanked %0.0%
Edition2024
MSRV1.85
Owners1

Links

tla-cli detail →GitHub ↗crates.io ↗

Quick Verdict

  • •tla-cli leads with a health score of 44/100, but none of the options score above 80.