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 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.
This repository contains an Ada/SPARK driver for the DecaWave DW1000 ultra-wideband (UWB) radio chip.
The main features of damaki/dw1000 are: Embedded Frameworks.
Open-source alternatives to damaki/dw1000 include: eclipse-paho/paho.mqtt.c — This project is a cross-platform C library designed for implementing MQTT messaging in applications. It serves as an… adacore/svd2ada — SVD2Ada is an Ada binding generator from CMSIS-SVD descriptions for ARM Cortex-M devices. It is meant to ease,… coreboot/libgfxinit — libgfxinit. damaki/evb1000 — This project provides Ada/SPARK drivers to control the on-board peripherals of the DecaWave EVB1000 evalulation board.… gabriele-galeotti/sweetada — Welcome to SweetAda. it-cosmos/embrick — emBRICK driver and support for emBRICK in Ada.
