tlaplus-community

tlaplus-community's repositories

A tree-sitter grammar for TLA⁺ and PlusCal

Language:CMIT55 4 45

Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa

Language:RustMIT25 2 10

In-place translation of TLA⁺ symbols into Unicode, in Neovim

Language:LuaMIT1002

Examples to get you started creating TLA+ development tools

Language:PythonMIT2 10

TLA+ reference documentation

Language:PythonNOASSERTION1 3 1

A general purpose syntax highlighter in pure Go

Language:GoMIT000

Nvim Treesitter configurations and abstraction layer

Language:SchemeApache-2.0000

Demo website for tlaplus-community projects

Language:JavaScriptMIT000

Fork of tree-sitter supporting changes necessary for tree-sitter-tlaplus to work.

Language:RustMIT000

Accurate syntax coloring for VSCode using tree-sitter

Language:TypeScriptMIT000