ada-drivers-library
Ada and SPARK drivers library for bare-metal microcontrollers, supporting ARM Cortex-M and RISC-V platforms.
What is ada-drivers-library?
Ada Drivers Library is an open-source collection of drivers and sample projects for programming microcontrollers using the Ada and SPARK languages. It provides hardware abstraction for various ARM Cortex-M and RISC-V boards, enabling developers to write reliable embedded software with modern language features. The library solves the problem of accessing microcontroller peripherals and external devices in a safe, high-integrity manner.
Embedded systems engineers and developers working with microcontrollers who want to use Ada or SPARK for safety-critical or high-reliability applications. It's particularly valuable for those targeting ARM Cortex-M or RISC-V platforms.
Developers choose Ada Drivers Library because it provides proven, production-ready drivers for popular microcontroller families while leveraging Ada's strong typing and SPARK's formal verification capabilities for increased software reliability. It's maintained by AdaCore with community contributions, ensuring ongoing support and hardware compatibility.
Overview
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Use Cases
Best For
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.