alygin/vscode-tlaplus-nightly
TLA+ language support (Nightly)
More in Editor extensions
All 1,000- crsx/ag-usage Track usage of Antigravity AI models
- serayuzgur/crates Helps Rust developers managing dependencies with Cargo.toml.
- PawelHuryn/grok-vscode-phuryn One place for Grok Build (Grok 4.7), Muse Code (Muse Wonder) and DeepSeek (V4 Pro, experimental), plus Codex (GPT-6 Astra), Claude Code…
- damms005/devdb A zero-config extension that displays your database records right inside VS Code and provides tools and affordances to aid development and…
- amiralizadeh9480/laravel-extra-intellisense better intellisense for laravel projects.
- vscode/github GitHub features for VS Code
- jnoortheen/nix-ide Full Nix language support with/without external language servers
- vscode/github-authentication GitHub Authentication Provider
- jeanp413/open-remote-wsl Open any folder in the Windows Subsystem for Linux (WSL).
- wayou/vscode-todo-highlight highlight TODOs, FIXMEs, and any keywords, annotations...
- JohnnyMorganz/luau-lsp A Language Server Client for Luau
- eventyret/bootstrap-4-cdn-snippet This will get you up and running to get a boilerplate of bootstrap ready in a sec