rustio rustio.net

Decision Workspace

traceforge

Side-by-side comparison of Rust crates

42
traceforge
experimentalv0.2.0

TraceForge is a model checker for concurrent and distributed programs written in Rust

Core Metrics

traceforge
Health Score42
Total Downloads11
30d Downloads11
Dependents0
Releases1
Last Updated4d ago
Age4d

Health Breakdown

traceforge
Maintenance
13
Quality
12
Community
6
Popularity
1
Documentation
10

Technical Details

traceforge
Version0.2.0
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies25
Crate Size196KB
Features4
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

traceforge detail →GitHub ↗crates.io ↗

Quick Verdict

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