tlaplus/vscode-ide
TLA+ language support
- Category
- Editor extensions
Official docs outline
github.comExtra Credit builds an outline of tlaplus/vscode-ide's docs the first time your work uses it. Until then, start at the official documentation.
More in Editor extensions
All 1,000-
mathematic/vscode-pdf Portable document format (PDF) viewer for Visual Studio Code.
-
jajera/vsx-remote-ssh Connect to and develop on remote servers via SSH
-
zixfel/ag-auto-click-scroll Automatic Submit and Accept all for Antigravity IDE, with instant button switches, configurable click limits, and Antigravity Agent integrat
-
vivaxy/vscode-conventional-commits 💬Conventional Commits for VSCode.
-
cyrilletuzi/angular-schematics Ultimate Angular code generation in Visual Studio Code.
-
franneck94/vscode-c-cpp-dev-extension-pack Popular VSCode Extensions for C/C++
-
Shopify/theme-check-vscode A complete developer experience for Shopify themes
-
vscode/image-preview Provides VS Code's built-in image preview
-
prettier/prettier-vscode DEPRECATED: Please use esbenp.prettier-vscode instead.
-
tooltitudeteam/tooltitude-pb Support for protobuf / proto files
-
geequlim/godot-tools Tools for game development with Godot Engine and GDScript
-
FinancialForce/lana Salesforce Apex Debug Log Analyzer: Fast VS Code extension for Salesforce developers. Visualize and debug Apex logs with interactive flame c