The classic RPL programming language reimplemented and reimagined.
amforth is an extendible interpreter on microcontrollers
BearOS kernel source tree x86
A hobby micro-kernel operating system
Q1-kernel a hybrid kernel
16 bit real mod minecraft clone running in bios
AO RTOS is small real time OS based on Active Object concurrency model
Intel Bluetooth Kernel Extensions for macOS
OnePlus Nord (Avicii) Builds of PSM-Kernel
Jupyter kernel for Coq
Alternative operating system for x86 computers
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
R kernel for Jupyter
Vampire OS is the alternative to Windows and macOS
A cute and educational x86 OS
A microkernel-based multiserver operating system written from scratch.
C-BIOS is an open source BIOS for MSX computers.
The smallest and the most powerful operating system.
A basic command line OS made with Cosmos