rustio rustio.net

Decision Workspace

tla-rs

Side-by-side comparison of Rust crates

39
tla-rs
experimentalv0.1.0

Rust implementation of the IronFleet verified distributed systems framework

Core Metrics

tla-rs
Health Score39
Total Downloads16
30d Downloads4
Dependents0
Releases1
Last Updated64d ago
Age2m

Health Breakdown

tla-rs
Maintenance
9
Quality
13
Community
6
Popularity
1
Documentation
10

Technical Details

tla-rs
Version0.1.0
Stable (≥1.0)✗ No
LicenseMIT
Dependencies0
Crate Size1.1MB
Features0
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

tla-rs detail →GitHub ↗crates.io ↗

Quick Verdict

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