Geeks
tlaplus
/
vscode-tlaplus
TLA+ language support for Visual Studio Code
Primary Language
TypeScript
MIT License
MIT
vscode-tlaplus GitHub
Markdown
Readme
184
Issues
345
Stargazers
13
Watchers
Watchers
a1300
afonsonf
Porto, Portugal
ahlinc
Ukraine, Kyiv
alygin
Moscow, Russia
burkostya
eemailme
FedericoPonzi
Amazon Web Services
jhcloos
kape1395
@erisata
kelvich
klinvill
lemmy
@microsoft
trycatcher