Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
Repository Index
47,133 repositories indexed
1–12 of 12 · Most stars
Server implementing the Microsoft Language Protocol for Ada and SPARK
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
The @vlang language server, for all your editing needs like go-to-definition, code completion, type hints, and more.
- bindings
- language-server
- lsp
- lsp-server
Tools and apps for GameMaker development: a CLI for pipeline development, a VSCode extension for coding, and more.
- gms2
- gamemaker
- game-development
- game-development-workflow
Visual Studio Code extension to explore and manage your Firebase projects
Integrated Ethereum implementation and tool suite focused on Solidity testing and development.
One local, searchable index of your AI coding-agent history Claude Code, Codex, Cursor, Gemini & more. Keyword + semantic search, MCP server, CLI & VS Code extension.
VS Code Firestore Rules Extension
- firebase
- visual-studio
- vscode-extension
- vscode-language
Claude Code dashboard: see where your limits are headed before you hit them. Calibrated usage forecasts, live rate-limit gauges, session costs, memory browser. Single binary, zero config, plus a VS Code extension.
Contains the snippet for both Firebase and Firestore in VS Code editor
- firebase
- firestore
- visual-studio-code
Sitecore Scriban syntax coloring and intellisense for known objects extension for Visual Studio Code
- sitecore
- vscode
- vscode-extension
- vscode-language