ada-language-server
A language server implementing the Microsoft Language Server Protocol for Ada, SPARK, and GPR project files.
What is ada-language-server?
The Ada Language Server is an open-source server that implements the Microsoft Language Server Protocol (LSP) for the Ada and SPARK programming languages. It provides core IDE features such as code completion, navigation, refactoring, and symbol search directly within code editors that support LSP. It solves the problem of fragmented tooling by offering a standardized, editor-agnostic intelligence layer for Ada/SPARK development.
Ada and SPARK developers using editors like VS Code, Vim, Neovim, or Emacs who want modern IDE features like go-to-definition and refactoring. It is also for teams managing projects with GNAT project files (GPR).
Developers choose the Ada Language Server because it brings a consistent, feature-rich development experience across virtually any code editor via the standard LSP protocol. It is maintained by AdaCore, ensuring deep integration with the Ada/SPARK toolchain and GNAT project ecosystem.
Overview
Server implementing the Microsoft Language Protocol for Ada and SPARK
Use Cases
Best For
- Adding intelligent code completion and navigation to Ada projects in VS Code
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
