Hobby operating system, bootloader, kernel, drivers, C library
The source for the Linux kernel used in Windows Subsystem for Linux 2
Jupyter magics and kernels for working with remote Spark clusters
Julia kernel for Jupyter
Zen Patched Kernel Sources
This is the stress-ng upstream project git repository.
Scalable, optimized, secure RTOS for multiple hardware architectures
QNAP GPL Source
A Scala kernel for Jupyter
IPython Kernel for Jupyter
Rust Linux-compatible kernel
Real-Time Event Frameworks based on active objects & state machines
The classic RPL programming language reimplemented and reimagined.
Free operating system for Atari computers, and more.
Market leading real time kernel for 40+ microcontroller architectures
A hobby micro-kernel operating system
AO RTOS is small real time OS based on Active Object concurrency model
Jupyter kernel for Coq
Alternative operating system for x86 computers
Thread Scheduler with custom asynchronous messaging in VC++
Vampire OS is the alternative to Windows and macOS
A cute and educational x86 OS
A microkernel-based multiserver operating system written from scratch.