avr-ada

adawebpack

Ada WASM Runtime and Bindings for Web API

cortex-gnat-rts

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)

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

ada-runtime

The Generic Ada Runtime is a downsized Ada runtime that can be adapted to different platforms, offering a tradeoff between complexity and useful features. It provides essential runtime support for Ada programming in constrained environments like embedded systems. ## Key Features - **Secondary Stack** — SPARK-proven safety with no runtime errors and safe program abort on stack overflow, underflow, or invalid stack count. - **64-bit Arithmetic** — SPARK-proven addition and subtraction with overflow checks, ensuring no runtime errors and correct operations. - **Exception Support** — Limited to throwing exceptions with a last-chance handler, without catch mechanisms. - **Platform Adaptability** — Supports platforms including Posix/Linux, Genode, nRF52832, STM32F051, and ESP8266 on Arduino. - **Minimal Feature Set** — Designed as a tradeoff between complexity and useful features for embedded and specialized use cases. ## Philosophy The runtime prioritizes minimalism and adaptability, providing a streamlined feature set that balances complexity with essential functionality for diverse platforms.