Repository Index

A fast type checker and language server for Python

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

Documentation and issues for Pylance

• python
• language-server
• language-server-protocol
• code-analysis

Simple winbar/statusline plugin that shows your current code context

• language-server-protocol
• lsp
• lua
• neovim

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

The Design Tokens Multitool. CLI and go library; LSP and MCP; Generator and converter

• cli
• design-systems
• design-tokens
• go