Your favorite operating systems in one place
The operating system and all related software
Julia kernel for Jupyter
Linux Kernel Manager and Activity Monitor
A BSD-based OS project that aims to provide an experience with MacOS
Scalable, optimized, secure RTOS for multiple hardware architectures
syzkaller is an unsupervised coverage-guided kernel fuzzer
Rust Linux-compatible kernel
High-performance Kimi Delta Attention kernels
QNAP GPL Source
Real-Time Event Frameworks based on active objects & state machines
AO RTOS is small real time OS based on Active Object concurrency model
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
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
An operating system for those who value security and privacy.
RTOS for Secure, Safe and Real-Time Systems
Open-source RTOS and Embedded Systems Toolkit for C++ and C
An operating system written in RTL