Hobby operating system, bootloader, kernel, drivers, C library
The source for the Linux kernel used in Windows Subsystem for Linux 2
IPython Kernel for Jupyter
A Scala kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
Julia kernel for Jupyter
QNAP GPL Source
Scalable, optimized, secure RTOS for multiple hardware architectures
Zen Patched Kernel Sources
This is the stress-ng upstream project git repository.
A tool for automating the installation of Windows OS
Rust Linux-compatible kernel
High-performance Kimi Delta Attention kernels
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