Suggest an alternative to

tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

Why do you think that https://github.com/m-novikov/tree-sitter-sql is a good alternative to tree-sitter-tlaplus

A URL to the alternative repo (e.g. GitHub, GitLab)

Here you can share your experience with the project you are suggesting or its comparison with tree-sitter-tlaplus. Optional.

A valid email to send you a verification link when necessary or log in.