banacorn/agda-mode
agda-mode on vscode
More in Editor extensions
All 1,000- FastAPILabs/fastapi-vscode VS Code extension for FastAPI development
- wharflab/tally BuildKit-native Dockerfile intelligence with stack-aware PHP, Ruby, PowerShell, and shell rules, security checks, formatting, and auto-fix.
- wafer/wafer Wafer's GPU engineering copilot
- arjun/swagger-viewer Swagger Viewer lets you preview and validate Swagger 2.0 and OpenAPI files as you type in Visual Studio Code.
- hudakf/cds Syntax highlighting and snippets for ABAP CDS views
- knoxchat/knoxchat Unleashing AI Through Elegant Code and Powerful Systems.
- anseki/vscode-color Helper with GUI to generate color codes such as CSS color notations.
- secunit/caddyfile-syntax Rich Caddyfile Syntax Highlighting for Visual Studio Code
- arifszn/seemore-vscode Read a folder of Markdown as a rendered site — without leaving code editor.
- Davissss2/antigravity-account Manage multiple Antigravity accounts seamlessly - switch, monitor credits, and auto-rotate with one click.
- FanaticPythoner/better-todo-tree An independent, actively maintained fork of Todo Tree for VS Code: the familiar workflow, major new features, active fixes, benchmarked…
- kahole/magit Magit for Visual Studio Code