A beautiful personal server OS for Raspberry Pi or any Linux distro
NVIDIA Linux open GPU kernel module source
Your favorite operating systems in one place
The source for the Linux kernel used in Windows Subsystem for Linux 2
Zen Patched Kernel Sources
Linux Kernel source tree
OSX, Windows, and Linux Desktop Clients for Rocket.Chat
This is the stress-ng upstream project git repository.
Hobby operating system, bootloader, kernel, drivers, C library
A free Windows-compatible Operating System
Scalable, optimized, secure RTOS for multiple hardware architectures
Julia kernel for Jupyter
A BSD-based OS project that aims to provide an experience with MacOS
IPython Kernel for Jupyter
Intel Bluetooth Kernel Extensions for macOS
A free (libre) open source, mobile OS for Ethereum
Linux Kernel Manager and Activity Monitor
Jupyter kernel for Coq
A Scala kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
The operating system and all related software
QNAP GPL Source