Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "tla+" keyword
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
tree-sitter-tlaplus 1.3.6
A tree-sitter grammar for TLA⁺ and PlusCal31 versions - Latest release: 11 days ago - 1 dependent package - 1 dependent repositories - 9.44 thousand downloads total - 53 stars on GitHub - 1 maintainer