ada_language_server
Ada language server
An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files.
Server implementing the Microsoft Language Protocol for Ada and SPARK
242 stars
36 watching
56 forks
Language: Ada
last commit: almost 2 years agoLinked from 1 awesome list
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 reznikmm/ada-lsp | An implementation of the Language Server Protocol for a specific programming language | 11 |
| adacore/xmlada | An XML parser for Ada95 with support for static and shared libraries | 22 |
 alex-gamper/ada-languageserver | An LSP client prototype for Visual Studio 2017 implementing support for the Ada programming language | 1 |
| adacore/ada-traits-containers | A comprehensive Ada library for implementing various containers and data structures | 29 |
| adacore/win32ada | A library providing an Ada interface to the Windows API | 17 |
| adacore/gtkada | An Ada library for building graphical user interfaces with the GTK toolkit | 91 |
| adacore/cuda | A toolset that compiles Ada and SPARK code to NVIDIA GPUs | 18 |
| adacore/gnatcoll-core | A collection of core packages for building Ada libraries and applications | 45 |
| adacore/aws | A framework to develop web-based applications using Ada. | 131 |
 ada-actions/toolchain | Automates installation of an Ada development environment. | 20 |
 elm-tooling/elm-language-server | A language server implementation for Elm programming language | 418 |
 vala-lang/vala-language-server | A language server for providing code intelligence and diagnostics for the Vala programming language | 296 |
 rocher/ob-ada-spark | Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code | 8 |
 stcarrez/ada-el | A library providing a simple Expression Language for use in web development applications. | 7 |
 haskell/lsp | A Haskell implementation of the Microsoft Language Server Protocol | 371 |