Decision Workspace
tlauc vs tree-sitter-tlaplus vs camino
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
53
tree-sitter-tlaplus
growingv1.5.0
A tree-sitter grammar for TLA⁺ and PlusCal
73
camino
stablev1.2.2
UTF-8 paths
Core Metrics
| tlauc | tree-sitter-tlaplus | camino | |
|---|---|---|---|
| Health Score | 40 | 53 | 73 |
| Total Downloads | 15.5K | 319.7K | 155.5M |
| 30d Downloads | 16 | 266.1K | 12.8M |
| Dependents | 0 | 25 | 7.8K |
| Releases | 14 | 33 | 25 |
| Last Updated | 248d ago | 523d ago | 103d ago |
| Age | 3y 2m | 4y 7m | 5y 1m |
Health Breakdown
tlauc
Maintenance
9
Quality
10
Community
6
Popularity
5
Documentation
10
tree-sitter-tlaplus
Maintenance
8
Quality
18
Community
10
Popularity
7
Documentation
10
camino
Maintenance
13
Quality
20
Community
17
Popularity
8
Documentation
15
Technical Details
| tlauc | tree-sitter-tlaplus | camino | |
|---|---|---|---|
| Version | 1.1.0 | 1.5.0 | 1.2.2 |
| Stable (≥1.0) | ✓ Yes | ✓ Yes | ✓ Yes |
| License | MIT | MIT | MIT OR Apache-2.0 |
| Dependencies | 10 | 3 | 5 |
| Crate Size | 1.5MB | 1.5MB | 41KB |
| Features | 0 | 0 | 2 |
| Yanked % | 21.4% | 0.0% | 4.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | — | — | 1.61.0 |
| Owners | 1 | 1 | 2 |
Links
Quick Verdict
- •camino leads with a health score of 73/100, but none of the options score above 80.
- •camino is depended on by 7.8K crates — strongest ecosystem trust.
- •⚠ tree-sitter-tlaplus has not been updated in over a year.