A beautiful personal server OS for Raspberry Pi or any Linux distro
The source for the Linux kernel used in Windows Subsystem for Linux 2
NVIDIA Linux open GPU kernel module source
Your favorite operating systems in one place
OSX, Windows, and Linux Desktop Clients for Rocket.Chat
Hobby operating system, bootloader, kernel, drivers, C library
This is the stress-ng upstream project git repository.
Zen Patched Kernel Sources
The operating system and all related software
IPython Kernel for Jupyter
Scalable, optimized, secure RTOS for multiple hardware architectures
Linux Kernel Manager and Activity Monitor
Jupyter kernel for Coq
A Scala kernel for Jupyter
R kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
Linux kernel driver for Xbox One and Xbox Series X|S accessories
Linux Desktop OS for professionals
Yet another minimal Linux distribution, based on Arch Linux.
Boots into many systems and GRUB2 ones!