ZLS is a language server for the Zig language that implements the Language Server Protocol to provide IDE-like intelligence. It functions as a code intelligence provider, static code analysis tool, and automated refactoring engine for Zig projects. The server integrates directly with the Zig compiler toolchain to derive precise type information and perform semantic analysis. It uses this integration to surface real-time compilation errors as editor diagnostics and to provide semantic syntax highlighting based on resolved types rather than regex patterns. The project covers a wide range of de
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
This project is a comprehensive productivity guide and configuration reference for the VS Code editor. It provides a curated collection of shortcuts, configuration tips, and tutorials designed to improve efficiency and optimize the daily coding workflow. The resource covers advanced AI-assisted development, including the integration of autonomous agents, custom prompt files, and AI-powered coding assistants for task automation and code generation. It also provides specialized guidance on integrated terminal management, such as configuring shell profiles and automating command execution. Addi
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
ccls is a language server providing code completion, navigation, and semantic analysis for C and C++ projects. It focuses on the indexing and navigation of C-family codebases, enabling users to trace function calls and class hierarchies within a text editor.
Las características principales de maskray/ccls son: C-Family Development Workflows, Codebase Indexing, Reference Navigators, Symbol Indexing, LSP Server Implementations, Code Hierarchy Navigation, Language Server Implementations, Compiler-Integrated AST Parsing.
Las alternativas de código abierto para maskray/ccls incluyen: zigtools/zls — ZLS is a language server for the Zig language that implements the Language Server Protocol to provide IDE-like… luals/lua-language-server — lua-language-server is a static analysis tool and type checker for the Lua language that implements the Language… microsoft/vscode-tips-and-tricks — This project is a comprehensive productivity guide and configuration reference for the VS Code editor. It provides a… facebook/pyrefly — Pyrefly is a static type checker for Python that operates as a language server, delivering real-time diagnostics,… kotlin/kotlin-lsp — kotlin-lsp is a language server implementation that integrates editors with the Kotlin compiler and build tools to… ycm-core/youcompleteme — YouCompleteMe is a completion engine and semantic code analyzer for the Vim editor. It provides an integrated suite of…