ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

Search similar apps

    License

    GNU General Public License v3.0

    Server implementing the Microsoft Language Protocol for Ada and SPARK

    Creator

    AdaCore

    Related apps

    bb-runtimes

    Source repository for the GNAT Bare Metal BSPs

    Ada65other

    12 days ago

    cuda

    Ada18

    8 months ago

    gnatcoll-db

    GNAT Components Collection – Database packages

    C11other

    15 days ago

    gnatstudio

    gnatstudio

    GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

    Ada409

    11 days ago

    gtkada

    Ada bindings for the GTK+ graphical library.

    Ada88other

    15 days ago

    libadalang

    libadalang

    Ada semantic analysis library.

    Ada146other

    12 days ago

    spark2014

    SPARK 2014 is the new version of SPARK, a software development technology specif

    Ada248gpl-3.0

    12 days ago

    win32ada

    Ada API to the Windows library

    Ada17other

    15 days ago

    xmlada

    The XML/Ada toolkit.

    Ada22other

    15 days ago

    gnatcoll-bindings

    GNAT Components Collection – Bindings to C libraries

    Ada14other

    15 days ago

    gnatcoll-core

    GNAT Components Collection – Core packages

    Ada45other

    11 days ago

    gnatcoverage

    GNATcoverage: Coverage Analysis Tool

    Ada36

    11 days ago