Ada WASM Runtime and Bindings for Web API
Source repository for the GNAT Bare Metal BSPs
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)
Drake: A Runtime Library for gcc-Ada