rustio rustio.net

Decision Workspace

tlauc

Side-by-side comparison of Rust crates

40
tlauc
growingv1.1.0

Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa

Core Metrics

tlauc
Health Score40
Total Downloads15.5K
30d Downloads15
Dependents0
Releases14
Last Updated248d ago
Age3y 2m

Health Breakdown

tlauc
Maintenance
9
Quality
10
Community
6
Popularity
5
Documentation
10

Technical Details

tlauc
Version1.1.0
Stable (≥1.0)✓ Yes
LicenseMIT
Dependencies10
Crate Size1.5MB
Features0
Yanked %21.4%
Edition2021
MSRV—
Owners1

Links

tlauc detail →GitHub ↗crates.io ↗

Quick Verdict

  • •tlauc leads with a health score of 40/100, but none of the options score above 80.