@tlaplus-community
Guthub

tlaplus-community

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    99
  • Global Org. Rank 58,096 (Top 19 %)
  • Registered over 3 years ago
  • Most used languages
    Python
         40.0 %
    C
         20.0 %
    Lua
         20.0 %
    Rust
         20.0 %

Top repositories

1

tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal
C
56
star
2

tlauc

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

tlaplus-nvim-plugin

In-place translation of TLA⁺ symbols into Unicode, in Neovim
Lua
10
star
4

tlaplus-language-server

A language server for TLA+
4
star
5

tlaplus-tool-dev-examples

Examples to get you started creating TLA+ development tools
Python
3
star
6

tlaplusdocs

TLA+ reference documentation
Python
1
star