Market leading real time kernel for 40+ microcontroller architectures
Python implementation for microcontrollers and constrained systems
Professional collaborative platform for embedded development
Real-Time Event Frameworks based on active objects & state machines
A flight software and embedded systems framework
Client library for using AWS IoT Jobs service on embedded devices
Embedded by examples
free alternative firmware for the DLink DNS-320/320L/321/323/325/327L
The 8051 Simulator for Students and Educators
Built MindTheGapps
Open source flash program for STM32 using the ST serial bootloader
Debugging and programming interfaces for Freescale microcontroller
Multiplatform USB DFU host utility
Bootloader for STM32, XMC, HCS12 and other microcontroller targets.
Forth documentation: embedded Arm Cortex-M STM32xx microprocessors
Scientific/engineering firmware repurposing HP business calculators!
amforth is an extendible interpreter on microcontrollers
Open Source middleware platform with FreeRTOS, processor abstraction
Cross-platform IDE for developing embedded solutions and desktops
QFSViewer is a small tool to view system raw image files.
uIDE (Micro IDE) is a free, open-source IDE for GPUtils
Linux distribution to promote Mozilla