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.

Myriad-Dreamin/tinymist

2,907View on 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

phan/phan

5,617View on 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

microsoft/TypeScript-Handbook

4,855View on 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

ternjs/tern

4,240View on 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

LuaLSlua-language-server

Features