Scientific/engineering firmware repurposing HP business calculators!
The program creates bit arrays from fonts and BMP files
A system for programming LPC, STM32 and possible others devices.
Synthesizing embedded control software from formal specifications
MGSyn - Automatic Synthesis for Industrial Automation
Modular CNC software for Arduino controller
High voltage parallel programmer for AVR microcontrollers.
Open Source Hardware For Industrial Automation
Electronic system for the popular brain games like Jeopardy