1.AdaCore / Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
+9 stars
from 278 · score 2.30
Ranked by Attention Score: stars gained over the last 180 complete days
5 repositories by Attention Score · May 9, 2026 – Nov 4, 2026 (UTC)
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
A secure and high performances microkernel for building secure MCU-based IoTs
Ada-language framework