Market leading real time kernel for 40+ microcontroller architectures
Bootloader for STM32, XMC, HCS12 and other microcontroller targets.
Scientific/engineering firmware repurposing HP business calculators!
mySQM powered by Arduino Nano
High-speed serial terminal for embedded systems and protocol analysis
AO RTOS is small real time OS based on Active Object concurrency model
COM Serial Terminal
ext2/3/4 library for microcontrollers
A Windows based GUI for popular avrdude command line utility
Open IoT Framework
An Open-Source Library for Low-Power Approximate Computing Modules
MGSyn - Automatic Synthesis for Industrial Automation
Synthesizing embedded control software from formal specifications
A Development Framework for Coldfire
Adaptive mobile robot controlled by hand movement and sound commands
Technologies for automating food production on various scales
JBernstein: Exploration techniques for non-linear constraint checking
Microcontroller Task Scheduler
Yet another nand flash translation layer
ONE-NET is an open-source low power wireless networking protocol.
Ada compiler support for TI MSP430 processors
Tiny operating system for running HCFSM-based systems