The source for the Linux kernel used in Windows Subsystem for Linux 2
Hobby operating system, bootloader, kernel, drivers, C library
A BSD-based OS project that aims to provide an experience with MacOS
NVIDIA Linux open GPU kernel module source
A Scala kernel for Jupyter
IPython Kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
Jupyter kernel for Coq
Easy, yet powerful, GNU/Linux distribution
Real-Time Embedded Frameworks based on active objects & state machines
Vampire OS is the alternative to Windows and macOS
Software development for 4Mb portable, using Z80 CPU and AA batteries
A microkernel-based multiserver operating system written from scratch.
Thread Scheduler with custom asynchronous messaging in VC++
Shastra OS is a Arch Linux based Operating System.
Latest Android builds from PixelBoot.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
Casper-fs is a Custom LKM generator to protect and hide files.
Debian Bullseye with the Mate desktop environment
The classic RPL programming language reimplemented and reimagined.
The first OpenSolaris based distro (since June 2005)