Repository Index

A Rust compiler front-end for IDEs

• lsp-server
• rust
• hacktoberfest

GraphiQL & the GraphQL LSP Reference Ecosystem for building browser & IDE tools.

• graphql
• graphiql
• codemirror
• lsp-mode

[mirror] Go Tools

A fast type checker and language server for Python

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

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

• based
• pylance
• pyright
• python

Mainly a PHP Language Server with more features than you can shake a stick at

• php
• completion
• refactoring
• vim

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

Clojure & ClojureScript Language Server (LSP) implementation

• clojure
• lsp
• language-server
• clj

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

Universal toolkits for linting, viewing and managing i18n for any frameworks.

• devframe
• i18n
• i18n-tool
• lsp

Language Server Implementation for Luau

• language-server
• lsp
• lua
• luau

A Language Server Protocol implementation for Crystal. 🔮

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

The missing linter and lsp for AI coding assistants. Validate CLAUDE.md, AGENTS.md, SKILL.md, hooks, MCP. Plugin for all major IDEs included, with autofixes.

• agent
• ai
• ai-agents
• ai-coding-assistant

Visual Studio Code extension for Rocq

• coq
• vscode
• vscode-extension
• editor

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

Language server, formatter, and linter for Quarto and other Markdown flavors

• formatter
• pandoc
• quarto
• language-server

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

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