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.
Utilitário para criação e edição de imagens de disquete.
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
Embedded Real-Time Operating System (RTOS)
Custom firmware and IDE for the VEX Cortex Microcontroller
a very fast full system simulator