tree-sitter-tlaplus
v1.5.0crates.io· RustA tree-sitter grammar for TLA⁺ and PlusCal
The verdict
Abandoned. Last published over a year ago. No recent activity — look for a maintained alternative.
No recent activity — look for a maintained alternative.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceAbandoned
PopularityRising
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published over a year ago.
Popularity
21K downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
- 1.5.0over a year ago
- 1.4.0over a year ago
- 1.3.62 years ago
- 1.3.52 years ago
- 1.3.42 years ago
- 1.3.32 years ago
- 1.3.02 years ago
- 1.2.82 years ago