Repository Index

A fast type checker and language server for Python

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

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