HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Repository Index
47,133 repositories indexed
25–33 of 33 · Most stars
Ada-language framework
- ada
- ada-language
- arm
- avr
Simple wireless AP setup & management for Debian-based devices
Web browser based file manager for ESP32 in micropython
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
MicroPython compatible implementation of the Eclipse Sparkplug B Specification
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
minimal aws signature version 4 implementation for micropython/embedded use.
SPARK/Ada drivers for the DecaWave EVB1000 evaluation board