Command-line tool from the Alire project and supporting library

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

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

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

Source repository for the GNAT Bare Metal BSPs

Ada drivers for the Raspberry Pi RP2040 SoC

Ada BSP for the Raspberry Pi Pico

Library of drivers for AVR microcontrollers

Minimal run time system (RTS) for AVR 8bit controllers