Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
npmjs.org "tla+" keyword
Top 7.7% on npmjs.org
34 versions - Latest release: 17 days ago - 2 dependent packages - 1 dependent repositories - 365 downloads last month - 53 stars on GitHub - 1 maintainer
@tlaplus/tree-sitter-tlaplus 1.3.6
A tree-sitter grammar for TLA⁺ and PlusCal34 versions - Latest release: 17 days ago - 2 dependent packages - 1 dependent repositories - 365 downloads last month - 53 stars on GitHub - 1 maintainer
tree-sitter-tlaplus 1.3.6
A tree-sitter grammar for TLA⁺ and PlusCal9 versions - Latest release: 17 days ago - 339 downloads last month - 53 stars on GitHub - 1 maintainer
Related Keywords