Your favorite operating systems in one place
Scalable, optimized, secure RTOS for multiple hardware architectures
Zen Patched Kernel Sources
IPython Kernel for Jupyter
A Scala 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
The classic RPL programming language reimplemented and reimagined.
amforth is an extendible interpreter on microcontrollers
16 bit real mod minecraft clone running in bios
AO RTOS is small real time OS based on Active Object concurrency model
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,...