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, tree-sitter, tla+, pluscal, tlaplus, grammar
License: MIT
Latest release: 20 days ago
First release: almost 3 years ago
Dependent packages: 1
Dependent repositories: 1
Downloads: 8,746 total
Stars: 53 on GitHub
Forks: 8 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 6 days ago

Readme