A fast type checker and language server for Python
Repository Index
47,133 repositories indexed
1–22 of 22 · Most stars
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
- based
- pylance
- pyright
- python
Nix language server, based on nix libraries [maintainer=@inclyc,@takeokunn,@Aleksanaa]
SQL language server written in Go.
- language-server-protocol
- autocomplete
- sql
- language-server
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
OCaml Language Server Protocol implementation
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.
SQL Language Server
A Language Server Protocol implementation for Crystal. 🔮
- crystal
- lsp
- lsp-server
- vscode-language
Visual Studio Code extension for Rocq
Language server implementation for Elm
- elm
- language-server-protocol
- language-server
- elm-lang
The D Completion Daemon is an auto-complete program for the D programming language
- d
- autocomplete
- dlang
- code-completion
Server implementing the Microsoft Language Protocol for Ada and SPARK
D LSP server (dlang language server protocol server)
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Language Server Protocol implementation for Ember.js projects
- javascript
- language-server-protocol
- ember
- glimmer
Suricata Language Server is an implementation of the Language Server Protocol for Suricata signatures. It adds syntax check, hints and auto-completion to your preferred editor once it is configured.
IDE tools for writing pest grammars, using the Language Server Protocol for Visual Studio Code, Vim and other editors
Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.
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
Language Server Protocol for Ada