A BSD-based OS project that aims to provide an experience with MacOS
Jupyter magics and kernels for working with remote Spark clusters
Julia kernel for Jupyter
This is the stress-ng upstream project git repository.
A Scala kernel for Jupyter
Scalable, optimized, secure RTOS for multiple hardware architectures
Zen Patched Kernel Sources
QNAP GPL Source
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
Intel Bluetooth Kernel Extensions for macOS
Jupyter kernel for Coq
Alternative operating system for x86 computers
Vampire OS is the alternative to Windows and macOS
A cute and educational x86 OS
A microkernel-based multiserver operating system written from scratch.
C-BIOS is an open source BIOS for MSX computers.
Linux kernel driver for Xbox One and Xbox Series X|S accessories