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
Resurrection Remix Q v8.6.x For Nubia Z17Max (NX563J)
32 bit VIRGO Linux Kernel
Mulithreading Arduno library
A Haskell kernel for the Jupyter project
Custom firmware and IDE for the VEX Cortex Microcontroller