pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
- based
- pylance
- pyright
- python
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
A Ruby language server.
- ruby
- language-server
- intellisense
Nix language server, based on nix libraries [maintainer=@inclyc,@takeokunn,@Aleksanaa]
Static type checker for Ruby
- ruby
- typechecker
Clojure & ClojureScript Language Server (LSP) implementation
- clojure
- lsp
- language-server
- clj
A frontend-independent IDE "smartness" server for Elixir. Implements the JSON-based "Language Server Protocol" standard and provides debugger support via VS Code's debugger protocol.
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
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
Friendly developer tools for Nvim - Code Actions LSP server and library
- lsp
- lsp-server
- neovim
- neovim-plugin
IDE tools for writing pest grammars, using the Language Server Protocol for Visual Studio Code, Vim and other editors
The standards-based Web Components multitool. Generate Custom Elements Manifests, Dev Server, LSP, and MCP for your app or design system
- custom-elements
- custom-elements-manifest
- go
- golang
The Design Tokens Multitool. CLI and go library; LSP and MCP; Generator and converter
Svelte + Markdown + LaTeX
fast, auto-fixing Markdown linter and formatter. Checks style, readability, structure, and cross-file integrity.
Write Quarto documents and get IDE support for different languages in your notebook at the same time.