Awesome GitHub RepositoriesLanguage Server Protocol Implementations

Buf is a toolchain for managing the full lifecycle of Protocol Buffers schemas. It provides a set of tools for schema governance, including linting to enforce style guides, a breaking change detector to ensure backward compatibility, and a system for producing language-specific source code via local or remote plugins. The project distinguishes itself through a remote schema registry that centralizes the hosting, versioning, and distribution of Protocol Buffers modules. This registry allows for server-side enforcement of governance policies, such as blocking updates that introduce backward-inc

Templ is a type-safe HTML templating engine and UI framework for Go. It provides a system for building reusable HTML components that compile into Go code for server-side rendering, ensuring type safety and compile-time validation of data and logic. The project features a dedicated language server that provides autocomplete and syntax validation for template files within supported code editors. It employs compile-time code generation to transform a custom template language into Go source code, enabling the creation of modular HTML fragments and logic blocks. The framework includes automated s

TFLint este un instrument de analiză statică și validator de infrastructură-ca-cod conceput pentru a identifica erorile și a impune bunele practici în fișierele de configurare Terraform. Funcționează ca o poartă de calitate pentru fluxurile de lucru automatizate și un server de limbaj care oferă diagnosticare în timp real și erori de linting direct în editorii de text suportați. Proiectul utilizează un framework de plugin-uri gRPC care permite integrarea regulilor de validare specifice furnizorului prin binare independente și un SDK dedicat. Această arhitectură separă logica de linting de bază de validarea specifică cloud-ului, suportând instalarea automată a seturilor de reguli externe pentru a verifica proprietățile resurselor față de specificațiile oficiale. Motorul de analiză rezolvă valorile de configurare și evaluează funcțiile încorporate, extinzând blocurile dinamice și colecțiile de resurse pentru a inspecta structura finală instanțiată. Acoperă impunerea standardelor de codare, analiza apelurilor de module și detectarea atributelor de resurse invalide, cu capacitatea de a exporta rezultate structurate în formate precum SARIF. Instrumentul include o interfață de linie de comandă pentru filtrarea țintelor de analiză și oferă corecția automată a problemelor pentru regulile suportate.

Phan este un analizor static și un verificator de tipuri pentru PHP care identifică bug-uri și incompatibilități de tip fără a executa codul. Acesta servește ca o poartă de calitate pentru pipeline-urile de integrare continuă (CI) și un instrument pentru verificarea siguranței tipurilor, verificând în mod specific tipurile union, genericele și formele de array. Proiectul se distinge prin utilizarea unui daemon de fundal și a implementării Language Server Protocol (LSP), care oferă diagnosticare și navigare în timp real în editoare. De asemenea, dispune de un sistem de suprimare bazat pe baseline care permite dezvoltatorilor să înregistreze erorile existente într-un fișier snapshot pentru a se concentra exclusiv pe noile regresii. Motorul de analiză acoperă o gamă largă de capabilități, inclusiv detectarea codului mort, validarea compatibilității limbajului între diferite versiuni PHP și inferența tipurilor de variabile și template-uri. Suportă analiză extensibilă printr-un sistem de plugin-uri și oferă corecții automate de cod pentru un subset de probleme detectate. Utilizatorii pot iniția procesul prin generarea unui fișier de configurare cu niveluri de strictețe selectabile pentru a-și valida treptat baza de cod.

Acesta este un formator de cod pentru fișierele template Blade care standardizează indentarea și spațierea în editorul VS Code. Funcționează ca un formator de template-uri și sortator de atribute HTML care curăță sintaxa și layout-ul pe baza unor reguli de stil personalizate sau predefinite. Instrumentul se diferențiază prin organizarea automată a atributelor HTML și sortarea claselor utilitare Tailwind CSS într-o ordine predictibilă. Utilizează un sistem configurabil prin JSON pentru a încărca reguli specifice proiectului și liste de excludere, permițând echipelor să sincronizeze stilurile de cod și să prevină conflictele în controlul versiunilor. Capabilitățile extinse includ gestionarea domeniului de formatare prin liste globale de ignorare sau comentarii inline, validarea fișierelor de configurare conform unei scheme formale și personalizarea regulilor de indentare și spațiere. Proiectul se integrează cu editorul folosind Language Server Protocol.

Dhall este un limbaj de configurare type-safe conceput pentru a crea fișiere de configurare programabile care sunt garantate să se termine. Este un limbaj non-Turing-complete care utilizează un sistem de tipuri strict pentru a asigura corectitudinea și a preveni buclele infinite în timpul evaluării. Proiectul funcționează ca un motor de configurare determinist și instrument de marshalling, convertind expresiile programabile în formate statice precum JSON, YAML și Bash. Se distinge printr-un accent pe securitate și integritate, utilizând hashing semantic pentru a fixa importurile la distanță și impunând politici de origine pentru a preveni exfiltrarea datelor. Capabilitățile sale acoperă o suprafață largă de gestionare a configurației, inclusiv utilizarea funcțiilor polimorfice, a tipurilor union și a completării înregistrărilor pentru a reduce redundanța. Oferă instrumente pentru validarea schemelor, rezolvarea expresiilor la distanță și o implementare Language Server Protocol pentru integrarea în editor. Limbajul oferă o interfață de linie de comandă și un REPL pentru evaluarea expresiilor și verificarea egalității.

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

sourcekit-lsp is a language server protocol implementation and IDE code intelligence backend. It functions as a Swift language server and source code indexer, providing semantic analysis, autocomplete, and navigation features to compatible text editors. The project integrates directly with the Swift toolchain and SourceKit framework to deliver precise type information. It also leverages Clang-integrated parsing to provide semantic analysis for C-family languages, enabling cross-language navigation across project files. The server manages source code indexing and symbol lookups while using a

dprint is a multi-language code formatter that applies consistent styling across various programming languages using a pluggable architecture. It functions as a unified project style management tool, a command-line interface for continuous integration style enforcement, and a Language Server Protocol implementation for real-time formatting in editors. The project is distinguished by a WebAssembly-based plugin system that loads sandboxed formatting logic from URLs or file paths. It further extends its capabilities through a process-based tool integration that wraps external command-line interf

RLS is a language server that provides language intelligence for the Rust programming language. It implements the Language Server Protocol to enable a standardized communication layer between the Rust compiler and various editor clients. The project focuses on providing real-time code completions, symbol navigation, and type information. It also supports automated structural changes, such as workspace-wide symbol renaming, to maintain semantic correctness during refactoring. The system incorporates static code analysis for linting and formatting, alongside a mechanism for incremental compila

Marksman is a Language Server Protocol implementation for Markdown that provides advanced editor features including autocomplete, go-to-definition, and hover support for markdown files. It serves as an analysis engine to manage documentation and knowledge bases through automated link validation and consistent cross-referencing across multiple documents. The project enables the navigation of complex networks of wiki-style links and headings. It supports content refactoring, allowing users to rename headings and update internal references across multiple files to maintain document integrity dur

The Haskell Language Server is an implementation of the Language Server Protocol that provides real-time diagnostics, code navigation, and refactoring support for Haskell projects. It functions as a backend service that enables advanced editing capabilities within standard text editors by facilitating communication between the development environment and the Haskell compiler. The project distinguishes itself through a modular, plugin-based architecture that allows for the integration of independent components for specific language features. It leverages the host compiler as a library to perfo

kotlin-lsp is a language server implementation that integrates editors with the Kotlin compiler and build tools to provide language intelligence and code analysis. It uses the Language Server Protocol to decouple heavy language processing from the text editor user interface. The project provides static code analysis to detect issues and provide real-time diagnostics. It enables source code navigation through symbol-index based jumping to definitions and an analysis of how components interact. Additional capabilities include automated source code formatting, intelligent code completion, and s

Tinymist is a comprehensive suite of tools for Typst document authoring, serving as a language server, document compiler, and project manager. It provides a standardized language service via the Language Server Protocol to enable editor features such as autocompletion, navigation, and semantic highlighting. The project distinguishes itself by integrating a TCP-based live preview server for real-time visual rendering and an advanced static analysis tool that utilizes abstract syntax trees and bidirectional type checking. It also includes a project management system capable of handling multi-fi

The Python Language Server is a backend engine that provides code intelligence, autocompletion, and diagnostics for Python projects. By implementing the standardized Language Server Protocol, it enables consistent development features such as definition navigation, signature help, and documentation lookups across various text editors and integrated development environments. The project functions as a modular framework that utilizes a plugin-based architecture to support third-party extensions. This design allows for the dynamic injection of specialized capabilities, including custom type chec

likec4 is an architecture-as-code framework that transforms text-based architecture definitions into interactive diagrams, static websites, and image files. It serves as a system architecture visualizer and C4 model diagram generator, allowing users to define software components, boundaries, and deployment infrastructure using a domain-specific language. The tool distinguishes itself by providing a modeling environment with Language Server Protocol integration for real-time validation and autocomplete. It enables interactive architecture documentation where users can navigate through hierarch

The Kotlin Language Server is a static code analysis tool that provides real-time intelligence for Kotlin projects. By implementing the Language Server Protocol, it enables developers to access professional-grade development features, such as code completion, diagnostics, and navigation, within any compatible text editor. The project distinguishes itself through an architecture that maintains persistent, in-memory compiler instances to facilitate rapid, incremental recompilation during active development. It supports remote hosting via TCP, allowing editors to connect to centralized analysis

The YAML Language Server is a backend service that provides intelligent editing support for YAML files by implementing the Language Server Protocol. It functions as a validation and analysis engine, enabling code editors to offer real-time diagnostics, structural feedback, and automated assistance for configuration-heavy development workflows. The project distinguishes itself through its schema-driven approach to data integrity, utilizing a JSON Schema validation engine to verify document structure against formal definitions. It supports complex configuration management by allowing developers

This project is a language server implementation and code editor extension designed to provide intelligence for Svelte components. It functions as a static analysis tool that parses source code to deliver real-time feedback, automated formatting, and code navigation within development environments. The tool distinguishes itself by utilizing a virtual file system mapping that translates component files into modules, allowing standard language tools to process non-standard syntax. It integrates directly with the TypeScript compiler to perform type checking and static analysis across mixed scrip