Repository Index

A fast type checker and language server for Python

• code-quality
• ide
• language-server
• lsp

Nix language server, based on nix libraries [maintainer=@inclyc,@takeokunn,@Aleksanaa]

• language-server-protocol
• nix
• nixos

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

• sql
• language-server-protocol
• lint

A Language Server Protocol implementation for Crystal. 🔮

• crystal
• lsp
• lsp-server
• vscode-language

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)

• language-server-protocol
• d

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension