RTOS for Secure, Safe and Real-Time Systems
State machine framework for reactive embedded systems
Recirculation infusion mash system library for Arduino
The event based Real-Time Operating System (RTOS) for Arduino
Arduino library to the ASCII Master Slave Protocol
RetroPC-SIM is an Arduino project to help to understand how pc works
PRTOS is a simple, compact preemptive RTOS for embedded systems
ext2/3/4 library for microcontrollers
Python Library for accessing UEFI BIOS internal function by protocol
A Windows based GUI for popular avrdude command line utility
Providing easy OBD-II connectivity for open-source hardware
Arduino and Silicon Laboratories Si4735 radio library
W-Bus communication library
Allows executing code on MIPS32 EmbeddedLinux devices (WLAN routers)
DMX Library and usage examples for Arduino
Home and industrial automation with Power Line Comunication
A system for programming LPC, STM32 and possible others devices.
Synthesizing embedded control software from formal specifications
An Open-Source Library for Low-Power Approximate Computing Modules
MGSyn - Automatic Synthesis for Industrial Automation