The source for the Linux kernel used in Windows Subsystem for Linux 2
A BSD-based OS project that aims to provide an experience with MacOS
Hobby operating system, bootloader, kernel, drivers, C library
NVIDIA Linux open GPU kernel module source
The operating system and all related software
A Scala kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
IPython Kernel for Jupyter
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
Thread Scheduler with custom asynchronous messaging in VC++
Shastra OS is a Arch Linux based Operating System.
A microkernel-based multiserver operating system written from scratch.
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.
The classic RPL programming language reimplemented and reimagined.
Simplest kernel for cooperative multithreading