[go: up one dir, main page]

Skip to content
@AdaCore

AdaCore

AdaCore is the leading provider of commercial software solutions for Ada.

Popular repositories Loading

  1. gnatstudio gnatstudio Public

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

    Ada 416 54

  2. spark2014 spark2014 Public

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

    Ada 249 33

  3. Ada_Drivers_Library Ada_Drivers_Library Public

    Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

    Ada 247 144

  4. ada_language_server ada_language_server Public

    Server implementing the Microsoft Language Protocol for Ada and SPARK

    Ada 238 55

  5. gnat-llvm gnat-llvm Public

    LLVM based GNAT compiler

    Ada 185 18

  6. libadalang libadalang Public

    Ada semantic analysis library.

    Ada 147 42

Repositories

Showing 10 of 116 repositories

Top languages

Loading…

Most used topics

Loading…