A fast type checker and language server for Python
Repository Index
47,133 repositories indexed
1–10 of 10 · 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.
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.
Roblox Luau Language Server based on Lua by sumneko.
- roblox
- lua
- intellisense
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
IDE tools for writing pest grammars, using the Language Server Protocol for Visual Studio Code, Vim and other editors
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.