IPython Kernel for Jupyter
Hobby operating system, bootloader, kernel, drivers, C library
Linux Kernel Manager and Activity Monitor
AO RTOS is small real time OS based on Active Object concurrency model
Thread Scheduler with custom asynchronous messaging in VC++
Open-source RTOS and Embedded Systems Toolkit for C++ and C