All Git Users → tlaplus-community

1 open source projects by tlaplus-community

[ Open user page on Github ]

1. tree-sitter-tlaplus

A tree-sitter grammar for TLA+

✭ 31

c C++javascript scheme rust TLA tree-sitter parser tlaplus

1-1 of 1 user projects