spark2014

spark2014

https://github.com/AdaCore/spark2014

Ada248

24 days ago

Reviews

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

Search similar apps

    License

    GNU General Public License v3.0

    Share

    SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

    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

    gnatstudio

    gnatstudio

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

    Ada409

    24 days ago

    gtkada

    Ada bindings for the GTK+ graphical library.

    Ada88other

    28 days ago

    libadalang

    libadalang

    Ada semantic analysis library.

    Ada146other

    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