A GUI system for embedded systems.
Open Source middleware platform with FreeRTOS, processor abstraction
BASIC-like language interpreter for embedded systems
ext2/3/4 library for microcontrollers
Python Library for accessing UEFI BIOS internal function by protocol
Synthesizing embedded control software from formal specifications
Technologies for automating food production on various scales
C++ library for POSIX systems.
CLOCK 3W Library for Arduino (by FRIENDLY ELECTRONICS)
To be a practical Arduino simulator
X-RT: A portable multiprocessor real-time scheduling framework