Skip to content
@AdaCore

AdaCore

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

Popular repositories

  1. gnatstudio gnatstudio Public

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

    Ada 371 53

  2. spark2014 spark2014 Public

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

    Ada 234 35

  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 227 142

  4. ada_language_server ada_language_server Public

    Server implementing the Microsoft Language Protocol for Ada and SPARK

    Ada 216 57

  5. gnat-llvm gnat-llvm Public

    LLVM based GNAT compiler

    Ada 170 17

  6. libadalang libadalang Public

    Ada semantic analysis library.

    Ada 142 42

Repositories

Showing 10 of 113 repositories

Top languages

Loading…

Most used topics

Loading…