A secure and high performances microkernel for building secure MCU-based IoTs
Repository Index
71,372 visible repositories in the index
1–4 of 4 · Most stars
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
STM32 UI library and tools
- stm32
- ada
- ui
- display