Linux Kernel Manager and Activity Monitor
Julia kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
IPython Kernel for Jupyter
A Scala kernel for Jupyter
Rust Linux-compatible kernel
A BSD-based OS project that aims to provide an experience with MacOS
Free operating system for Atari computers, and more.
Market leading real time kernel for 40+ microcontroller architectures
The classic RPL programming language reimplemented and reimagined.
Real-Time Event Frameworks based on active objects & state machines
Jupyter kernel for Coq
Vampire OS is the alternative to Windows and macOS
A cute and educational x86 OS
A microkernel-based multiserver operating system written from scratch.
The smallest and the most powerful operating system.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
OS bootable from Linux,Windows and others partitions as auxiliary OS
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
Real-Time Embedded Operating System
Open-source RTOS and Embedded Systems Toolkit for C++ and C
PRTOS is a simple, compact preemptive RTOS for embedded systems