GitHub repository: reznikmm/esp32-gnat-rts
Primary language: Ada
Description: 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