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

A fast type checker and language server for Python

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

A Ruby language server.

• ruby
• language-server
• intellisense

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.

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 and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

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

IDE tools for writing pest grammars, using the Language Server Protocol for Visual Studio Code, Vim and other editors

• lsp
• extension
• ide
• pest