Your favorite operating systems in one place
Scalable, optimized, secure RTOS for multiple hardware architectures
Julia kernel for Jupyter
A BSD-based OS project that aims to provide an experience with MacOS
Linux Kernel Manager and Activity Monitor
Real-Time Event Frameworks based on active objects & state machines
QNAP GPL Source
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.
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
Written in pure ASM and Exode with cloud computing in mind.
A Haskell kernel for the Jupyter project
Small real time operating system for AVR and ARM microcontrollers