This is the stress-ng upstream project git repository.
Hobby operating system, bootloader, kernel, drivers, C library
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
Jupyter magics and kernels for working with remote Spark clusters
Julia kernel for Jupyter
A BSD-based OS project that aims to provide an experience with MacOS
A Scala kernel for Jupyter
IPython Kernel for Jupyter
Rust Linux-compatible kernel
Easy, yet powerful, GNU/Linux distribution
FluXuan Linux - Devuan based operating system!
Real-Time Event Frameworks based on active objects & state machines
Software development for 4Mb portable, using Z80 CPU and AA batteries
exGENT Live System is - as the name suggests - based on Gentoo Linux
The classic RPL programming language reimplemented and reimagined.
Jupyter kernel for Coq
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.