multiplexed-io

github.comtool

This contains explorations, for AdaPilot, of implementing drivers for the AdaRacer MCU, using the Ravenscar profile of Ada 2012 from AdaCore and device bindings generated using SVD2Ada.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   ada-drivers-library github.com

   Ada drivers for various MCU and sensors.

   tool link ↗
   tool
2. ▲

   evb1000 github.com

   Ada/SPARK drivers to control the on-board peripherals of the DecaWave EVB1000 evaluation board.

   tool link ↗
   
3. ▲

   agpl github.com

   Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor).

   tool link ↗
   
4. ▲

   rxada github.com

   An Ada 2012 implementation of the Rx methodology.

   tool link ↗
   
5. ▲

   flyology-simd github.com

   Portable, strongly typed SIMD foundations for Ada.

   tool link ↗
   
6. ▲

   sancta github.com

   Multi-robot task allocation library.

   tool link ↗
   

Ada/SPARK › Hardware and Embedded > Drivers: “This contains explorations, for AdaPilot, of implementing drivers for the AdaRacer MCU, using the Ravenscar profile of Ada 2012 from AdaCore and device bindings generated using SVD2Ada.”