tree-sitter-tlaplus
v1.5.0 GrowingA tree-sitter grammar for TLA⁺ and PlusCal
Quick Verdict
- ✕Not updated for 1+ year
- ✓Stable API (1.x for 4+ years)
- ✓Tiny footprint (1.5MB, 3 deps)
- ✓Permissive license (MIT)
Security
Deep Insights
266.1K downloads in the last 30 days (8.9K/day), up 75928% from the previous period.
The API has been stable (1.x) for over 4 years with 33 releases. This level of maturity means you can depend on it without worrying about breaking changes.
Only 3 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.
Notable dependents include tlauc, libtlafmt, tla-cli. When high-quality crates choose tree-sitter-tlaplus, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on tree-sitter-tlaplus
