The source for the Linux kernel used in Windows Subsystem for Linux 2
NVIDIA Linux open GPU kernel module source
A beautiful personal server OS for Raspberry Pi or any Linux distro
Wubuntu - Windows Theme over Ubuntu
OSX, Windows, and Linux Desktop Clients for Rocket.Chat
Your favorite operating systems in one place
Linuxfx Operating System
Hobby operating system, bootloader, kernel, drivers, C library
A cross-platform launcher that simply works
This is the stress-ng upstream project git repository.
A BSD-based OS project that aims to provide an experience with MacOS
Scalable, optimized, secure RTOS for multiple hardware architectures
Intel Bluetooth Kernel Extensions for macOS
A Scala kernel for Jupyter
IPython Kernel for Jupyter
The operating system and all related software
R kernel for Jupyter
Zen Patched Kernel Sources
Linux Kernel Manager and Activity Monitor
Jupyter kernel for Coq
Jupyter magics and kernels for working with remote Spark clusters
Based on Debian with Deepin/LXQt/KDE/Anbox and kernel 6.10.3-exton