Awesome GitHub RepositoriesEmbedded Frameworks

IronOS is a low-level soldering iron firmware and thermal control system. It serves as a comprehensive embedded UI framework and hardware controller designed to manage heating elements, temperature regulation, and power delivery for soldering tools. The project distinguishes itself through a specialized USB-PD power controller that negotiates standards like USB-PD EPR and Quick Charge to maximize available wattage. It also features a wireless BLE hardware controller for monitoring real-time telemetry and modifying system parameters from a remote application. The system covers broad capabilit

Dieses Projekt ist eine plattformübergreifende C-Bibliothek, die für die Implementierung von MQTT-Messaging in Anwendungen entwickelt wurde. Sie dient als asynchrones Netzwerk-Toolkit, das es ressourcenbeschränkten Systemen und verteilten Komponenten ermöglicht, Telemetriedaten und Steuersignale mit Messaging-Brokern auszutauschen. Die Bibliothek zeichnet sich durch einen zustandsmaschinenbasierten Protokoll-Handler aus, der Verbindungslebenszyklen und persistente Sitzungszustände verwaltet und eine zuverlässige Nachrichtenübermittlung selbst bei intermittierender Netzwerkkonnektivität sicherstellt. Sie nutzt einen Hintergrund-Thread zur Verwaltung von Netzwerkoperationen, was es Anwendungen ermöglicht, die Reaktionsfähigkeit durch ein Callback-gesteuertes Benachrichtigungssystem aufrechtzuerhalten. Darüber hinaus verfügt die Bibliothek über eine steckbare Transportabstraktion, die verschiedene Kommunikationskanäle, einschließlich TCP, TLS und WebSockets, über eine einheitliche URI-basierte Verbindungsschnittstelle unterstützt. Die Software bietet eine umfassende Suite von Messaging-Funktionen, einschließlich konfigurierbarer Quality-of-Service-Level, themenbasierter Veröffentlichung und Abonnement sowie der Möglichkeit, Metadaten an Nachrichten anzuhängen. Sie integriert zudem diagnostische Nachverfolgung und Laufzeit-Ausführungsprotokollierung, um die Überwachung von Netzwerkaktivitäten und das Debugging von Protokollübergängen zu unterstützen.

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.

Welcome to SweetAda.

A component-based, model-driven framework for constructing reliable and reusable real-time software #

##Crazyflie Firmware

libgfxinit

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…

This contains explorations, for AdaPilot, of implementing drivers for the AdaRacer MCU, using the Ravenscar profile of Ada 2012 from AdaCore and device bindings generated using SVD2Ada.

emBRICK driver and support for emBRICK in Ada