AdaCore

The GNAT Programming Studio.

The framework for analyzing the GNAT Project (GPR) files

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

Ada bindings for the GTK+ graphical library.

The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.

Ada semantic analysis library.

Libadalang-based tools

Language creation framework.

GNAT Components Collection – Core packages

High level interface for CloudFormation

SPARK 2014 repository for the Z3 SMT solver.

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.

GNAT Components Collection – Bindings to C libraries

GNATcoverage: Coverage Analysis Tool

Sources for learn.adacore.com

Libadalang-based code checking infrastructure

Analyse a project.

AWS is a complete framework to develop Web based applications in Ada.

SPARK 2014 repository for the Why3 verification platform.

GNAT Components Collection – Database packages

Script to automate the installation of the GNAT Community Installers

Core framework for developing portable automated build systems

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

prototype server for creating interactive "try SPARK / try Ada" webpages

A Collaborative Development Assurance Lab

An Ada binding generator from SVD descriptions for bare board ARM devices.

PolyORB provides a uniform solution to build distributed applications relying either on middleware standards

Source repository for the GNAT Bare Metal BSPs