gnatstudio

gnatstudio

https://github.com/AdaCore/gnatstudio

Ada409

24 days ago

Reviews

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

Search similar apps

    License

    Share

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

    Creator

    AdaCore

    Related apps

    ada_language_server

    ada_language_server

    Server implementing the Microsoft Language Protocol for Ada and SPARK

    Ada235gpl-3.0

    25 days ago

    bb-runtimes

    Source repository for the GNAT Bare Metal BSPs

    Ada65other

    24 days ago

    cuda

    Ada18

    9 months ago

    gnatcoll-db

    GNAT Components Collection – Database packages

    C11other

    28 days ago

    gtkada

    Ada bindings for the GTK+ graphical library.

    Ada88other

    28 days ago

    libadalang

    libadalang

    Ada semantic analysis library.

    Ada146other

    24 days ago

    spark2014

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

    Ada248gpl-3.0

    24 days ago

    win32ada

    Ada API to the Windows library

    Ada17other

    28 days ago

    xmlada

    The XML/Ada toolkit.

    Ada22other

    28 days ago

    gnatcoll-bindings

    GNAT Components Collection – Bindings to C libraries

    Ada14other

    28 days ago

    gnatcoll-core

    GNAT Components Collection – Core packages

    Ada45other

    24 days ago

    gnatcoverage

    GNATcoverage: Coverage Analysis Tool

    Ada36

    24 days ago