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: 11 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: 11 days ago
tlauc 1.0.2
Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa10 versions - Latest release: 11 days ago - 2.74 thousand downloads total - 25 stars on GitHub - 1 maintainer