A fast type checker and language server for Python
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
Language server, formatter, and linter for Quarto and other Markdown flavors
- formatter
- pandoc
- quarto
- language-server
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
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