ada_language_server
by AdaCore
Server implementing the Microsoft Language Protocol for Ada and SPARK
AI summary
Ada language server
An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files.
- stars
- 242
- forks
- 56
- watching
- 36
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Language Server Implementation
An implementation of the Language Server Protocol for a specific programming language
XML parser library
An XML parser for Ada95 with support for static and shared libraries
Ada compiler
An LSP client prototype for Visual Studio 2017 implementing support for the Ada programming language
Container library
A comprehensive Ada library for implementing various containers and data structures
Windows API wrapper
A library providing an Ada interface to the Windows API
GUI library
An Ada library for building graphical user interfaces with the GTK toolkit
GPU compiler
A toolset that compiles Ada and SPARK code to NVIDIA GPUs
Ada library framework
A collection of core packages for building Ada libraries and applications
Web framework
A framework to develop web-based applications using Ada.
Ada compiler setup
Automates installation of an Ada development environment.
Elm server
A language server implementation for Elm programming language
Language server
A language server for providing code intelligence and diagnostics for the Vala programming language
Code compiler
Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code
EL library
A library providing a simple Expression Language for use in web development applications.
haskell/lsp371
Language Server Protocol
A Haskell implementation of the Microsoft Language Server Protocol
Featured in 1 awesome list
Each link jumps to the spot where the list mentions ada_language_server.
