A hobby micro-kernel operating system
AO RTOS is small real time OS based on Active Object concurrency model
Jupyter kernel for Coq
Alternative operating system for x86 computers
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.
The smallest and the most powerful operating system.
C-BIOS is an open source BIOS for MSX computers.
Linux kernel driver for Xbox One and Xbox Series X|S accessories
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
OS-9/6809 compatible operating system for Tandy CoCo and Dragon
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
ELF dependencies analyser
Indipendent distro uses inary package system. Sulin is roolling donkey
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
x86-64 os made in crystal