The source for the Linux kernel used in Windows Subsystem for Linux 2
OSX, Windows, and Linux Desktop Clients for Rocket.Chat
Your favorite operating systems in one place
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
Zen Patched Kernel Sources
IPython Kernel for Jupyter
Jupyter kernel for Coq
A Scala kernel for Jupyter
R kernel for Jupyter
Linux Kernel Manager and Activity Monitor
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
Boots into many systems and GRUB2 ones!
Market leading real time kernel for 40+ microcontroller architectures
Free operating system for Atari computers, and more.
Real-Time Embedded Frameworks based on active objects & state machines
QNAP GPL Source
A tapas/topaz/sapphire kernel optimized for smoothness and low-memory