@tlaplus/tree-sitter-tlaplus (npm): A tree-sitter grammar for TLA⁺ and PlusCal
Keywords: tla+|tlaplus|pluscal|tree-sitter|grammar|parser