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