Rust Linux-compatible kernel
It's a personal microkernel project designed as a learning ground.
GaryOS is an entire GNU/Linux system in a single bootable file
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
humbly smart Operating System - Debian derivative
32 bit VIRGO Linux Kernel
Mulithreading Arduno library
A Haskell kernel for the Jupyter project
Custom firmware and IDE for the VEX Cortex Microcontroller