A fast type checker and language server for Python
Repository Index
47,133 repositories indexed
1–23 of 23 · Most stars
Android Reverse-Engineering Workbench for VS Code
- apktool
- apk-decompiler
- apk-editor
- smali
An opinionated language server for Ruby
- lsp
- ruby
- lsp-server
- vscode-extension
Universal toolkits for linting, viewing and managing i18n for any frameworks.
The missing linter and lsp for AI coding assistants. Validate CLAUDE.md, AGENTS.md, SKILL.md, hooks, MCP. Plugin for all major IDEs included, with autofixes.
Puma Scan is a software security Visual Studio extension that provides real time, continuous source code analysis as development teams write code. Vulnerabilities are immediately displayed in the development environment as spell check and compiler warnings, preventing security bugs from entering your applications.
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
Server implementing the Microsoft Language Protocol for Ada and SPARK
Common Lisp Extension for VSCode
Roblox Luau Language Server based on Lua by sumneko.
- roblox
- lua
- intellisense
Fast, cross-platform, real-time token usage tracker and cost monitor for Claude Code / Codex CLI / Antigravity CLI / Qwen Code / Cline / Zoo Code / Kilo Code / GitHub Copilot / OpenCode / Pi Agent / Piebald.
- analyzer
- claude-code
- codex
- usage
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 Integration Designer for Apache Camel
- camel
- camel-k
- apache-camel
- integration
A low-glare Dracula-inspired VS Code theme with measured WCAG AA contrast, muted UI accents, and six-step bracket-depth highlighting.
A Python type explainer!
IDE tools for writing pest grammars, using the Language Server Protocol for Visual Studio Code, Vim and other editors
Common Lisp Editing extension for Visual Studio Code
Lisp VSCode Extension
- common-lisp
- ide
- lisp
- programming-language
The Design Tokens Multitool. CLI and go library; LSP and MCP; Generator and converter
fast, auto-fixing Markdown linter and formatter. Checks style, readability, structure, and cross-file integrity.
Godot Engine-inspired theme for Visual Studio Code