Visual Studio Code extension for Rocq
Repository Index
47,133 repositories indexed
25–48 of 60 · Most stars
Connect to MongoDB and Atlas and directly from your VS Code environment, navigate your databases and collections, inspect your schema and use playgrounds to prototype queries and aggregations.
- mongodb
- mongodb-atlas
- vscode
- vscode-extension
Yet another VSCode extension for Crystal Programming Language
- crystal
- vscode-extension
Pascal language extension for Visual Studio Code
- pascal
- delphi
- freepascal
- vscode
deezer.com Player (CLI & VSCode)
A Ruby language server for large codebases
A Ruby LSP addon for RSpec tests
- rspec
- ruby-lsp
- vscode-extension
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Streamline Your Node.js Debugging Workflow with Chromium (Chrome, Edge, More) DevTools.
Theme from Chinese traditional color for IDE, Terminal, Agent, etc
Visual Studio Code extension to explore and manage your Firebase projects
A low-glare Dracula-inspired VS Code theme with measured WCAG AA contrast, muted UI accents, and six-step bracket-depth highlighting.
🌈 Ant Design cheatsheet in VS Code.
- vscode
- vscode-extension
- antd-design
- antd
VS Code extension for JavaScript Standard Style (`standard`) with automatic fixing
- vscode-extension
- vscode
- standard
- nodejs
An extension for the VS Code editor that provides Intellisense capabilities to your Aurelia project.
See what your AI coding agent is doing. Multi-provider assistant & session monitor for VS Code and the terminal — inline completions, code transforms, and a full TUI dashboard tracking tokens, cost, and context across Claude Code, OpenCode, and Codex. Switch between multiple Claude Code and Codex accounts.
- copilot-alternative
- inline-completion
- claude-code-cli
- code-reviews
The official VS Code extension for the RuboCop linter and code formatter.
- code-formatter
- linter
- rubocop
- ruby
visual studio code extension simply view the image of the image variables when debugging python
IDE tools for writing pest grammars, using the Language Server Protocol for Visual Studio Code, Vim and other editors
Vala and Genie integration for Visual Studio Code/VSCodium/Code-OSS
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
Lisp VSCode Extension
- common-lisp
- ide
- lisp
- programming-language
The Design Tokens Multitool. CLI and go library; LSP and MCP; Generator and converter