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

Server implementing the Microsoft Language Protocol for Ada and SPARK

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

LLVM based GNAT compiler

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

Ada Web Application - Framework to build high performance secure web applications

Official mirror of the Muen Separation Kernel repository

A secure and high performances microkernel for building secure MCU-based IoTs

Source repository for the GNAT Bare Metal BSPs

The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.

Minimal Ada/SPARK run-time for embedded or other restricted targets