An extremely fast Python type checker and language server, written in Rust.
Repository Index
47,133 repositories indexed
1–20 of 20 · Most stars
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
An opinionated language server for Ruby
- lsp
- ruby
- lsp-server
- vscode-extension
A Ruby language server.
- ruby
- language-server
- intellisense
Static type checker for Ruby
- ruby
- typechecker
SQL language server written in Go.
- language-server-protocol
- autocomplete
- sql
- language-server
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.
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
The D Completion Daemon is an auto-complete program for the D programming language
- d
- autocomplete
- dlang
- code-completion
Code Intelligence for Vala & Genie
- language-server
- vala
- genie
- gnome
Language server, formatter, and linter for Quarto and other Markdown flavors
- formatter
- pandoc
- quarto
- language-server
Roblox Luau Language Server based on Lua by sumneko.
- roblox
- lua
- intellisense
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
The @vlang language server, for all your editing needs like go-to-definition, code completion, type hints, and more.
- bindings
- language-server
- lsp
- lsp-server
IDE tools for writing pest grammars, using the Language Server Protocol for Visual Studio Code, Vim and other editors
Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.