tlaplus-community / tree-sitter-tlaplusLinks

A tree-sitter grammar for TLA⁺ and PlusCal
64Updated 2 weeks ago

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: