Scalable, optimized, secure RTOS for multiple hardware architectures
Julia kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
Hobby operating system, bootloader, kernel, drivers, C library
Alternative operating system for x86 computers
A microkernel-based multiserver operating system written from scratch.
Gobudgie is an operating system which is compatible to Android.
A CC0 operating system written from scratch in Rust.
Updated Ubuntu Mate OS 64bit (15.10 based)
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
A Haskell kernel for the Jupyter project
A Development Framework for Coldfire
A advanced graphical operating system.
Neptune is a kernel and operating system for x86 PCs.
Embedded Real-Time Operating System (RTOS)
Smart home thermostat with touch screen and home automation
A True Web Operating System
A rethinking of the Operating System Ecosystem.
An operating system based upon the MOSA kernel.
A simple os written in ASM