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