Zen Patched Kernel Sources
A Rust-based, lightweight unikernel
IPython Kernel for Jupyter
Linux Kernel Manager and Activity Monitor
The Serenity Operating System
CoolPotOS for ia32 / amd64
Open source driver and user-space daemon to control Razer lighting
Rust Linux-compatible kernel
eBPF-based Linux kernel networking debugger
System Analysis Software
Mac Mouse Fix - Make Your $10 Mouse Better Than an Apple Trackpad
JupyterLab computational environment
A virtual environment kit for the local-first web
Emulator that can run 32-bit Windows programs/games
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
My Little Unix: Kernels are Magic
Scalable, optimized, secure RTOS for multiple hardware architectures
FUSE extends macOS by adding support for user space file systems
hhuOS - A small operating system
An educational 32-bit linux-like Operating System
syzkaller is an unsupervised coverage-guided kernel fuzzer
Emulating Apple Silicon devices
Another rockchip Operating System
Julia kernel for Jupyter
A secure embedded operating system for microcontrollers