An extremely fast Python type checker and language server, written in Rust.
Repository Index
47,133 repositories indexed
1–17 of 17 · Most stars
A Rust compiler front-end for IDEs
- lsp-server
- rust
- hacktoberfest
A fast type checker and language server for Python
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
- based
- pylance
- pyright
- python
A fast, feature-rich static code analyzer & language server for Python
NIx Language server, an incremental analysis assistant for writing in Nix.
An experimental Rust port of the TypeScript 7 compiler (tsc)
- compiler
- rust
- tsc
- typescript
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
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.
Language server, formatter, and linter for Quarto and other Markdown flavors
- formatter
- pandoc
- quarto
- language-server
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
Suricata Language Server is an implementation of the Language Server Protocol for Suricata signatures. It adds syntax check, hints and auto-completion to your preferred editor once it is configured.
IDE tools for writing pest grammars, using the Language Server Protocol for Visual Studio Code, Vim and other editors
The standards-based Web Components multitool. Generate Custom Elements Manifests, Dev Server, LSP, and MCP for your app or design system
- custom-elements
- custom-elements-manifest
- go
- golang
A TypeScript language-server shim that bridges Neovim's LSP client with tsserver.
- javascript
- lsp
- lsp-server
- rust
Write Quarto documents and get IDE support for different languages in your notebook at the same time.