A fast type checker and language server for Python
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
An opinionated language server for Ruby
- lsp
- ruby
- lsp-server
- vscode-extension
Universal toolkits for linting, viewing and managing i18n for any frameworks.
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.
Visual Studio Code extension for Rocq
A Ruby language server for large codebases
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