Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : tree-sitter-tlaplus
A tree-sitter grammar for TLA⁺ and PlusCal
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/tree-sitter-tlaplus
Keywords: parser, tla+, pluscal, tree-sitter, tlaplus, grammar
License: MIT
Latest release: 12 days ago
First release: almost 3 years ago
Dependent packages: 1
Dependent repositories: 1
Downloads: 9,437 total
Stars: 53 on GitHub
Forks: 7 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 12 days ago