Mainly a PHP Language Server with more features than you can shake a stick at
- php
- completion
- refactoring
- vim
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Server implementing the Microsoft Language Protocol for Ada and SPARK
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