Mulithreading Arduno library
Efficient GPU kernels for block-sparse matrix multiplication
W-Bus communication library
An operating system for tenputer
Run Linux on Windows or other OSes, natively.
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
Small real time operating system for AVR and ARM microcontrollers
An indie, hobby operating system
UEFI GTP fdisk is a disk partitionning tool running under UEFI/BIOS
CMAKE build enviroment for LPC2000 and LPC17xx Cortex MCUs
Kestrel is an experimental kernel runs on i386
Neptune is a kernel and operating system for x86 PCs.
An open source OS written in assembly.
Embedded Real-Time Operating System (RTOS)
a very fast full system simulator