awesome-repositories.com
Blog
awesome-repositories.com

Entdecke die besten Open-Source-Repositories mit KI-gestützter Suche.

EntdeckenKuratierte SuchenOpen-Source-AlternativenSelf-hosted SoftwareBlogSitemap
ProjektÜber unsRanking-MethodikPresseMCP-Server
RechtlichesDatenschutzAGB
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
LuaLS avatar

LuaLS/lua-language-server

0
View on GitHub↗
4,298 Stars·432 Forks·Lua·MIT·9 Aufrufeluals.github.io↗

Lua Language Server

lua-language-server ist ein statisches Analysetool und Typ-Checker für die Sprache Lua, der das Language Server Protocol implementiert. Er bietet ein System zur Erkennung von Typ-Diskrepanzen, ungenutztem Code und Logikfehlern in Quelldateien.

Das Projekt bietet ein inferenzbasiertes Typsystem, das Variablentypen ableitet und optionale Annotationen sowie Meta-Dateien zur Durchsetzung von Typsicherheit unterstützt. Es ermöglicht die Definition benutzerdefinierter Typen und Funktionssignaturen, einschließlich Unterstützung für Overloads und Sichtbarkeitskontrollen für Member.

Der Server bietet eine breite Palette an IDE-Funktionen, einschließlich Echtzeit-Code-Autocompletion, Symbol-Refactoring sowie Navigation zu Definitionen und Implementierungen. Er enthält einen Code-Formatter und einen Dokumentationsgenerator, der Symbole und Annotationen extrahiert, um Markdown- und JSON-Dateien zu produzieren.

Der Server kann aus dem Quellcode gebaut und an spezifische Sprachversionen und Laufzeitumgebungen angepasst werden.

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.

Star-Verlauf

Star-Verlauf für luals/lua-language-serverStar-Verlauf für luals/lua-language-server

KI-Suche

Entdecke weitere awesome Repositories

Beschreibe in einfachen Worten, was du brauchst — die KI bewertet tausende kuratierte Open-Source-Projekte nach Relevanz.

Start searching with AI

Open-Source-Alternativen zu Lua Language Server

Ähnliche Open-Source-Projekte, sortiert nach der Anzahl der gemeinsamen Funktionen mit Lua Language Server.
  • myriad-dreamin/tinymistAvatar von Myriad-Dreamin

    Myriad-Dreamin/tinymist

    2,907Auf GitHub ansehen↗

    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
    Auf GitHub ansehen↗2,907
  • phan/phanAvatar von phan

    phan/phan

    5,617Auf GitHub ansehen↗

    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
    Auf GitHub ansehen↗5,617
  • microsoft/typescript-handbookAvatar von microsoft

    microsoft/TypeScript-Handbook

    4,855Auf GitHub ansehen↗

    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
    Auf GitHub ansehen↗4,855
  • ternjs/ternT

    ternjs/tern

    4,240Auf GitHub ansehen↗

    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
    Auf GitHub ansehen↗4,240
Alle 30 Alternativen zu Lua Language Server anzeigen→

Häufig gestellte Fragen

Was macht luals/lua-language-server?

lua-language-server ist ein statisches Analysetool und Typ-Checker für die Sprache Lua, der das Language Server Protocol implementiert. Er bietet ein System zur Erkennung von Typ-Diskrepanzen, ungenutztem Code und Logikfehlern in Quelldateien.

Was sind die Hauptfunktionen von luals/lua-language-server?

Die Hauptfunktionen von luals/lua-language-server sind: 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.

Welche Open-Source-Alternativen gibt es zu luals/lua-language-server?

Open-Source-Alternativen zu luals/lua-language-server sind unter anderem: 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…

Kuratierte Suchen mit Lua Language Server

Handverlesene Sammlungen, in denen Lua Language Server vorkommt.
  • eine Programmiersprache für die Webentwicklung
  • Implementierungen des Language Server Protocol