A secure and high performances microkernel for building secure MCU-based IoTs
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Ada-language framework
- ada
- ada-language
- arm
- avr
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Raspberry Pi using a BBC Micro:Bit as temperature sensor
SANCTA multi-robot task allocation library