Your favorite operating systems in one place
Zen Patched Kernel Sources
Scalable, optimized, secure RTOS for multiple hardware architectures
A Scala kernel for Jupyter
IPython Kernel for Jupyter
Winux Operating System by Linuxfx
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
QNAP GPL Source
amforth is an extendible interpreter on microcontrollers
AO RTOS is small real time OS based on Active Object concurrency model
16 bit real mod minecraft clone running in bios
Alternative operating system for x86 computers
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
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.
C-BIOS is an open source BIOS for MSX computers.
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
OS-9/6809 compatible operating system for Tandy CoCo and Dragon