The source for the Linux kernel used in Windows Subsystem for Linux 2
NVIDIA Linux open GPU kernel module source
OSX, Windows, and Linux Desktop Clients for Rocket.Chat
Your favorite operating systems in one place
Linux Test Project
A beautiful personal server OS for Raspberry Pi or any Linux distro
NuTyX is a very flexible, complete GNU / Linux distribution
This is the stress-ng upstream project git repository.
Hobby operating system, bootloader, kernel, drivers, C library
Scalable, optimized, secure RTOS for multiple hardware architectures
The operating system and all related software
Linux Kernel Manager and Activity Monitor
Intel Bluetooth Kernel Extensions for macOS
IPython Kernel for Jupyter
A Scala kernel for Jupyter
A BSD-based OS project that aims to provide an experience with MacOS
Zen Patched Kernel Sources
Jupyter kernel for Coq
R kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
Linux Desktop OS for professionals
Linux kernel driver for Xbox One and Xbox Series X|S accessories