The source for the Linux kernel used in Windows Subsystem for Linux 2
NVIDIA Linux open GPU kernel module source
Julia kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
A Scala kernel for Jupyter
IPython Kernel for Jupyter
A BSD-based OS project that aims to provide an experience with MacOS
Rust Linux-compatible kernel
Mirror of: https://github.com/osdldbt/
Real-Time Event Frameworks based on active objects & state machines
Easy, yet powerful, GNU/Linux distribution
MeX 64 bit with the GNOME 50 Desktop and Kodi 21.1 Omega
Linux kernel module for the EMU3 filesystem
Jupyter kernel for Coq
The classic RPL programming language reimplemented and reimagined.
Software development for 4Mb portable, using Z80 CPU and AA batteries
Hobby operating system, bootloader, kernel, drivers, C library
Thread Scheduler with custom asynchronous messaging in VC++
Vampire OS is the alternative to Windows and macOS
A microkernel-based multiserver operating system written from scratch.
Shastra OS is a Arch Linux based Operating System.
Latest Android builds from PixelBoot.