tlaplus-community / tree-sitter-tlaplusLinks

A tree-sitter grammar for TLA⁺ and PlusCal
65Updated last month

Alternatives and similar repositories for tree-sitter-tlaplus

Users that are interested in tree-sitter-tlaplus are comparing it to the libraries listed below

Sorting: