A fast type checker and language server for Python
Repository Index
47,133 repositories indexed
1–12 of 12 · Most stars
An opinionated language server for Ruby
- lsp
- ruby
- lsp-server
- vscode-extension
Universal toolkits for linting, viewing and managing i18n for any frameworks.
AI-powered E2E testing for 10 platforms. 253 MCP tools. Zero config. Works with Claude, Cursor, Windsurf, Copilot. Test Flutter, React Native, iOS, Android, Web, Electron, Tauri, KMP, .NET MAUI — all from natural language.
Server implementing the Microsoft Language Protocol for Ada and SPARK
Language server, formatter, and linter for Quarto and other Markdown flavors
- formatter
- pandoc
- quarto
- language-server
Roblox Luau Language Server based on Lua by sumneko.
- roblox
- lua
- intellisense
A Ruby language server for large codebases
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
PICO-8 Language Server
IDE tools for writing pest grammars, using the Language Server Protocol for Visual Studio Code, Vim and other editors