ARM Cortex-M

ada-drivers-libraryAdaCore/Ada_Drivers_Library

Ada and SPARK drivers library for bare-metal microcontrollers, supporting ARM Cortex-M and RISC-V platforms.

acncFabien-Chouteau/ACNC

A G-code parser and CNC controller written in Ada for ARM Cortex-M microcontrollers.

robotics-with-adaAdaCore/Robotics_with_Ada

Demonstrates interfacing Lego NXT Mindstorms sensors and effectors using Ada on low-cost ARM evaluation boards.