Bootloader for STM32, XMC, HCS12 and other microcontroller targets.
Scientific/engineering firmware repurposing HP business calculators!
AO RTOS is small real time OS based on Active Object concurrency model
A minimalistic, lean and fast HTTP REST API test application
free alternative firmware for the DLink DNS-320/320L/321/323/325/327L
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
COM Serial Terminal
Implementation of LZW compression algorithm in C
Open IoT Framework
An Open-Source Library for Low-Power Approximate Computing Modules
Synthesizing embedded control software from formal specifications
MGSyn - Automatic Synthesis for Industrial Automation
A software for upload .hex files to ATMEGA328P and compile .asm files
Embedded JPEG encoder
CMAKE build enviroment for LPC2000 and LPC17xx Cortex MCUs
Open implementation of the x86 architecture
JBernstein: Exploration techniques for non-linear constraint checking
Microcontroller Task Scheduler