awesome-repositories.com
Blog
awesome-repositories.com

Descubre los mejores repositorios open-source con nuestra búsqueda potenciada por IA.

ExplorarBúsquedas curadasAlternativas open-sourceSoftware autohospedableBlogMapa del sitio
ProyectoAcerca deCómo clasificamosPrensaServidor MCP
Aviso legalPrivacidadTérminos
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
LuaLS avatar

LuaLS/lua-language-server

0
View on GitHub↗
4,298 estrellas·432 forks·Lua·MIT·9 vistasluals.github.io↗

Lua Language Server

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 autocompletion, symbol refactoring, and navigation to definitions and implementations. It includes a code formatter and a documentation generator that extracts symbols and annotations to produce Markdown and JSON files.

The server can be built from source and configured to match specific language versions and runtime environments.

Features

  • Lua IDE Integrations - Integrates autocompletion, go-to-definition, and real-time error checking for Lua within various code editors.
  • Semantic Code Analyzers - Provides real-time diagnostics and error detection through semantic analysis of the Lua source code.
  • Code Completion - Suggests variable names and code snippets during typing to accelerate the development process.
  • Code Symbol Navigators - Enables jumping to symbol definitions and locating all references of a specific element across the project.
  • Implementation Navigations - Allows developers to jump from a function call directly to its underlying source code implementation.
  • Language Server Protocol Implementations - Implements the Language Server Protocol to provide editor intelligence and formatting for Lua.
  • Real-time Code Autocompletes - Provides real-time code autocompletion and predictive suggestions for variables and functions during typing.
  • Real-Time Code Diagnostics - Provides real-time visual feedback on syntax mistakes and type errors during the editing process.
  • Static Code Analysis - Scans Lua source code for linting violations, syntax errors, and logic flaws without execution.
  • Symbol Information Providers - Displays detailed information and function signatures for code elements when hovering over them in the editor.
  • Context-Aware Suggestions - Recommends functions and variables based on current semantic context and type annotations.
  • Static Type Annotations - Allows assigning types or generics to variables and function arguments to enable static analysis.
  • LSP Server Implementations - Implements the server-side logic of the Language Server Protocol using JSON-RPC for IDE communication.
  • Function Signatures - Enables explicit definition of input parameters and return types for functions, including support for overloads.
  • Module Resolvers - Implements configurable lookup engines to resolve custom search paths and library directories for external modules.
  • External Library Definitions - Loads external definition files to provide type intelligence for third-party libraries and APIs.
  • Type Safety - Detects type mismatches in assignments and function signatures to ensure codebase-wide type safety.
  • Lua Static Analysis Tools - Identifies type mismatches, unused variables, and logic errors in Lua code before execution.
  • Lua Type Checkers - Defines custom types and annotations to enforce type safety and improve code predictability in Lua.
  • Type Inference Support - Deduces variable types by analyzing assignments and return values to enforce type safety during static analysis.
  • Symbol Definition Resolution - Enables locating the original declaration of variables, classes, or functions across the project workspace.
  • Type Annotations - Provides a system for defining and enforcing types through inline annotations and meta files for static analysis.
  • Type Inference Engines - Implements an inference-based type system that automatically deduces variable types from assignments and return values.
  • Language Grammar Validation - Identifies violations of Lua language grammar to prevent runtime failures.
  • User-Defined Types - Allows the definition of custom type aliases, enums, and class structures to enforce type safety.
  • Lua Type Checkers - Infers variable types and enforces type safety using optional annotations and meta files.
  • Static Type Checking - Analyzes variable and function types to detect potential mismatches before the code is executed.
  • Static Analysis AST Parsing - Parses source code into abstract syntax trees to detect structural errors and identify unused code.
  • Source Code Formatters - Includes a built-in formatter that automatically adjusts indentation and style to maintain consistent visual structure.
  • Code-to-Documentation Extractors - Extracts docstrings and symbols from source code to generate technical reference documentation.
  • Document Exporting - Generates project documentation in Markdown and JSON formats using defined filtering rules.
  • API Documentation Generators - Extracts codebase information to automatically generate documentation in Markdown and JSON formats.
  • Code Refactoring Tools - Provides project-wide symbol renaming and automatic source code formatting to maintain style consistency.
  • Definition-Only Files - Supports meta files that provide type definitions for other files without affecting functional analysis.
  • Symbol-Based Documentation Generators - Exports project symbols and annotations into JSON or Markdown files via a command-line interface.
  • Hover Information Displays - Displays detailed information and documentation comments in popups when hovering over symbols.
  • Project Workspaces - Isolates environments for different project roots to maintain independent global variables and settings.
  • API Documentation Generators - Extracts symbols and annotations from source code to generate structured technical API documentation.
  • Cross-Module Symbol Linking - Implements mechanisms for linking symbols across different modules to enable hyperlinked navigation in documentation.
  • Workspace Library Scopes - Includes external library implementation code and definition files in the project scope for better context.
  • Language Version Targeting - Allows restricting functions or classes to specific language versions to ensure static analysis compatibility.
  • Module Path Resolution - Translates module requests into specific filesystem paths to locate external libraries and dependencies.
  • Runtime Environment Configuration - Defines the language version and available libraries to match the target execution environment.
  • Third-Party Extension Installation - Enables the installation of external library definitions to provide intelligence for third-party frameworks.
  • Type Casting - Overrides inferred types using inline annotations to resolve complex type scenarios.
  • Lua Library Type Declarations - Provides the ability to describe external library signatures using meta files for accurate autocompletion.
  • Member Visibility Control - Supports restricting access to functions and fields through private, protected, and package-level scopes.
  • Member Access Verification - Blocks access to private class members from unauthorized scopes and flags deprecated variables.
  • Code Style Formatting - Standardizes code layout and enforces a consistent style guide across the codebase.
  • Dead Code Detectors - Highlights variables, functions, and arguments that are defined but never referenced across the project.
  • Lua API Documentation Generation - Extracts symbols and annotations from Lua source code to generate structured Markdown and JSON documentation.
  • Workspace Isolation - Maintains separate global variables and settings for different project roots to prevent cross-project interference.
  • AST Modification Plugins - Integrates custom scripts to modify ASTs, intercept text changes, and alter compilation behavior.
  • Server Capability Extenders - Allows adding custom API definitions and plugins to extend the server's knowledge of specific frameworks.
  • LSP Plugin Extensions - Supports third-party plugins that can hook into internal interfaces to modify the AST or resolve calls.
  • Static Logic Analyzers - Detects potential runtime risks and logic errors such as infinite loops and indexing nil objects.
  • Symbol Renamers - Allows for project-wide symbol renaming while automatically updating all references to the changed symbol.

Historial de estrellas

Gráfico del historial de estrellas de luals/lua-language-serverGráfico del historial de estrellas de luals/lua-language-server

Búsqueda con IA

Explora más repositorios increíbles

Describe lo que necesitas en lenguaje sencillo: la IA clasifica miles de proyectos open-source curados por relevancia.

Start searching with AI

Colecciones destacadas con Lua Language Server

Colecciones seleccionadas manualmente donde aparece Lua Language Server.
  • un lenguaje de programación para crear aplicaciones web
  • Implementaciones de Language Server Protocol

Preguntas frecuentes

¿Qué hace luals/lua-language-server?

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.

¿Cuáles son las características principales de luals/lua-language-server?

Las características principales de luals/lua-language-server son: Lua IDE Integrations, Semantic Code Analyzers, Code Completion, Code Symbol Navigators, Implementation Navigations, Language Server Protocol Implementations, Real-time Code Autocompletes, Real-Time Code Diagnostics.

¿Qué alternativas de código abierto existen para luals/lua-language-server?

Las alternativas de código abierto para luals/lua-language-server incluyen: myriad-dreamin/tinymist — Tinymist is a comprehensive suite of tools for Typst document authoring, serving as a language server, document… phan/phan — Phan is a static analyzer and type checker for PHP that identifies bugs and type incompatibilities without executing… microsoft/typescript-handbook — This project is a comprehensive guide and educational resource for the TypeScript language. It covers the fundamental… ternjs/tern — Tern is an editor-independent code analyzer and static analysis engine for JavaScript. It functions as a language… google/pytype — Pytype is a static code analysis tool and type inference engine for Python. It functions as a static type analyzer… zigtools/zls — ZLS is a language server for the Zig language that implements the Language Server Protocol to provide IDE-like…

Alternativas open-source a Lua Language Server

Proyectos open-source similares, clasificados según cuántas características comparten con Lua Language Server.
  • myriad-dreamin/tinymistAvatar de Myriad-Dreamin

    Myriad-Dreamin/tinymist

    2,907Ver en GitHub↗

    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

    Rustdapdap-serverformatter
    Ver en GitHub↗2,907
  • phan/phanAvatar de phan

    phan/phan

    5,617Ver en GitHub↗

    Phan is a static analyzer and type checker for PHP that identifies bugs and type incompatibilities without executing the code. It serves as a quality gate for continuous integration pipelines and a tool for verifying type safety, specifically checking union types, generics, and array shapes. The project is distinguished by its use of a background daemon and Language Server Protocol implementation, which provide real-time diagnostics and navigation within editors. It also features a baseline-based suppression system that allows developers to record existing errors in a snapshot file to focus e

    PHP
    Ver en GitHub↗5,617
  • microsoft/typescript-handbookAvatar de microsoft

    microsoft/TypeScript-Handbook

    4,855Ver en GitHub↗

    This project is a comprehensive guide and educational resource for the TypeScript language. It covers the fundamental principles of the language, including its structural type system, static type analysis, and the process of transpiling typed source files into JavaScript. The material details how to model complex data and reusable type logic using generics, conditional types, and mapped types. It also explains the use of declaration files to provide type safety for external JavaScript libraries and the integration of type checking into existing JavaScript projects via JSDoc annotations. The

    JavaScriptdocumentationlearntypescript
    Ver en GitHub↗4,855
  • ternjs/ternT

    ternjs/tern

    4,240Ver en GitHub↗

    Tern is an editor-independent code analyzer and static analysis engine for JavaScript. It functions as a language server that provides semantic intelligence by parsing source code into abstract syntax trees to infer types and resolve symbols without requiring manual type annotations. The engine distinguishes itself through the use of JSON-based type definitions, which allow it to describe library signatures and external dependencies without needing the original source code. It also features a plugin system that enables the extension of server functionality to support custom loaders or framewo

    JavaScript
    Ver en GitHub↗4,240
Ver las 30 alternativas a Lua Language Server→