Market leading real time kernel for 40+ microcontroller architectures
Real-Time Embedded Frameworks based on active objects & state machines
Scientific/engineering firmware repurposing HP business calculators!
Bootloader for STM32, XMC, HCS12 and other microcontroller targets.
Cross-platform IDE for developing embedded solutions and desktops
Specialised variant of GRBL focused on motion of up to five axes
Software resources for the ESP32 based IoT Leaf microcontroller board
Free real-time operating system designed for microcontrollers
Real Time Tcp/Ip Stack Library
RTOS for Secure, Safe and Real-Time Systems
ext2/3/4 library for microcontrollers
DMX Library and usage examples for Arduino
Debian for WDTV Live (running WDLXTV) - Inc. Build Essentials
CMAKE build enviroment for LPC2000 and LPC17xx Cortex MCUs
High voltage parallel programmer for AVR microcontrollers.
Yet another nand flash translation layer
Web based GUI for accessing ATMEL ATNGW100 board's flash memory.