Rust Linux-compatible kernel
Hobby operating system, bootloader, kernel, drivers, C library
The classic RPL programming language reimplemented and reimagined.
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
Hanthana Linux Project
32 bit VIRGO Linux Kernel
Mulithreading Arduno library
A Haskell kernel for the Jupyter project
opensource-operation-system
A Simple 'IDE'A for Linux Kernel Developers
Custom firmware and IDE for the VEX Cortex Microcontroller
A rethinking of the Operating System Ecosystem.
Simple AVR OS