Repository Index

An extremely fast Python type checker and language server, written in Rust.

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

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

A fast, feature-rich static code analyzer & language server for Python

• language-server
• python
• static-analysis
• type-checker

An opinionated language server for Ruby

• lsp
• ruby
• lsp-server
• vscode-extension

A Ruby language server.

• ruby
• language-server
• intellisense

An experimental Rust port of the TypeScript 7 compiler (tsc)

• compiler
• rust
• tsc
• typescript

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

• language-server-protocol
• nix
• nixos

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.

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

• devframe
• i18n
• i18n-tool
• lsp

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

Code Intelligence for Vala & Genie

• language-server
• vala
• genie
• gnome

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

Roblox Luau Language Server based on Lua by sumneko.

• roblox
• lua
• intellisense

A Ruby language server for large codebases

• language-server
• ruby
• vscode-extension

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

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