GitHub repository: xan187/vscode-tlaplus
Primary language: TypeScript
Description: TLA+ language support for Visual Studio Code