lsp-mode is a Language Server Protocol client and IDE feature set for Emacs. It functions as a semantic code analysis tool and JSON-RPC communication layer that connects the editor to external language servers to provide intelligent code completion and real-time diagnostics. The project also serves as a Debug Adapter Protocol client, enabling interactive debugging sessions and breakpoint management. This allows for stepping through code and inspecting variables via a standardized protocol, including support for debugging within Docker containers. The system covers a broad range of developmen
Pyrefly is a static type checker for Python that operates as a language server, delivering real-time diagnostics, completions, and navigation in any editor supporting the Language Server Protocol. It also performs static tensor shape analysis, using symbolic dimension variables and arithmetic to verify shape consistency in deep learning models without runtime execution. Beyond core type checking, Pyrefly supports gradual adoption workflows: it can generate a baseline of known errors so only new issues are reported, migrate configuration from other type checkers, and automatically suppress exi
lua-language-server is a static analysis tool and type checker for the Lua language that implements the Language Server Protocol. It provides a system for detecting type mismatches, unused code, and logic errors in source files. The project features an inference-based type system that deduces variable types and supports optional annotations and meta files to enforce type safety. It allows for the definition of custom types and function signatures, including support for overloads and member visibility controls. The server provides a broad set of IDE capabilities, including real-time code auto
Rust-analyzer is a language server implementation that provides real-time code intelligence, static analysis, and development productivity tools for the Rust programming language. It functions as a backend engine that communicates with text editors to deliver deep structural understanding of source code, enabling features like semantic analysis, symbol navigation, and automated refactoring. The project distinguishes itself through a core engine designed for high-performance responsiveness, utilizing incremental query-based compilation and lazy demand-driven evaluation to minimize resource con
lspsaga.nvim is a Neovim LSP UI enhancement and floating window manager. It provides a visual system for presenting Language Server Protocol data through interactive overlays, serving as a code navigation tool and a refactoring interface.
nvimdev/lspsaga.nvim 的主要功能包括:LSP Interface Enhancements, LSP Data Visualizers, Interactive Codebase Exploration, Diagnostic Navigation Interfaces, LSP Editor Integrations, LSP Diagnostic Overlays, Editor Floating Windows, Documentation Hover Frames。
nvimdev/lspsaga.nvim 的开源替代品包括: emacs-lsp/lsp-mode — lsp-mode is a Language Server Protocol client and IDE feature set for Emacs. It functions as a semantic code analysis… facebook/pyrefly — Pyrefly is a static type checker for Python that operates as a language server, delivering real-time diagnostics,… luals/lua-language-server — lua-language-server is a static analysis tool and type checker for the Lua language that implements the Language… rust-lang/rust-analyzer — Rust-analyzer is a language server implementation that provides real-time code intelligence, static analysis, and… zigtools/zls — ZLS is a language server for the Zig language that implements the Language Server Protocol to provide IDE-like… w0rp/ale — Ale is a Neovim LSP client and asynchronous linter wrapper designed to integrate language servers and syntax checkers…