AlphaUncommon
tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
- Owner
- tlaplus (organization)
- Stars
- Stars: 441
- Forks
- Forks: 54
- Language
- TypeScript
- License
- MIT
- Created
- 2019
- Topics
- tlatlcpluscalmodel-checkingspecificationverificationformal-methodsvscode-extension
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by tlaplus
All 7 repos by tlaplus- tlaplus/tlaplusStars: 3,169JavaRC
- tlaplus/ExamplesStars: 1,596TLABeta
- tlaplus/DrTLAPlusStars: 860TLABeta
- tlaplus/CommunityModulesStars: 318TLAAlpha
- tlaplus/tlapmStars: 138OCamlPrototype
- tlaplus/PlusPyStars: 120PythonPrototype
Nearby in TypeScript
All TypeScript repos- clavia-labs/tardigradeStars: 441TypeScriptAlpha
- pgp00/beadreliefStars: 441TypeScriptAlpha
- Kai-Jungsthoefel/SOMAStars: 441TypeScriptAlpha
- okonet/react-scroll-syncStars: 441TypeScriptAlpha
- wpcfan/awesome-tutorialsStars: 441TypeScriptAlpha
- codeedu/imersao-fsfc2Stars: 441TypeScriptAlpha