Repository Index

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

An opinionated language server for Ruby

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

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

Code Intelligence for Vala & Genie

• language-server
• vala
• genie
• gnome

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

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

• lsp
• extension
• ide
• pest