This project is a cross-platform C library designed for implementing MQTT messaging in applications. It serves as an asynchronous networking toolkit that enables resource-constrained systems and distributed components to exchange telemetry data and control signals with messaging brokers. The library distinguishes itself through a state-machine-based protocol handler that manages connection lifecycles and persistent session states, ensuring reliable message delivery even during intermittent network connectivity. It utilizes a background thread to manage network operations, allowing application
This repository contains an Ada/SPARK driver for the DecaWave DW1000 ultra-wideband (UWB) radio chip.
This project provides Ada/SPARK drivers to control the on-board peripherals of the DecaWave EVB1000 evalulation board. The drivers are implemented in Ada, but the package specs have SPARK annotations to allow the drivers to be used by SPARK code. The library provides drivers for: the two-line…
SVD2Ada is an Ada binding generator from CMSIS-SVD descriptions for ARM Cortex-M devices. It is meant to ease, strengthen and speed up driver development for those platforms.