evb1000

github.comtool

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

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   dw1000 github.com

   Ada/SPARK driver for the DecaWave DW1000 ultra-wideband (UWB) radio chip.

   tool link ↗
   
2. ▲

   ewok github.com

   A microkernel targeting micro-controllers and embedded systems.

   tool link ↗
   tool
3. ▲

   ada-drivers-library github.com

   Ada drivers for various MCU and sensors.

   tool link ↗
   tool
4. ▲

   SweetAda github.com

   A lightweight development framework whose purpose is the implementation of Ada-based software systems. It supports a plethora or CPU architectures and development boards.

   tool topic programming link ↗
   
5. ▲

   ESP8266 GB Dev Board github.com

   tool link ↗
   
6. ▲

   em-brick github.com

   emBRICK driver and support for emBRICK in Ada.

   tool link ↗
   

Ada/SPARK › Hardware and Embedded > Drivers: “Ada/SPARK drivers to control the on-board peripherals of the DecaWave EVB1000 evaluation board.”