Your favorite operating systems in one place
Scalable, optimized, secure RTOS for multiple hardware architectures
syzkaller is an unsupervised coverage-guided kernel fuzzer
Jupyter kernel for Coq
16 bit real mod minecraft clone running in bios
AO RTOS is small real time OS based on Active Object concurrency model
A microkernel-based multiserver operating system written from scratch.
The smallest and the most powerful operating system.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
Indipendent distro uses inary package system. Sulin is roolling donkey
OS bootable from Linux,Windows and others partitions as auxiliary OS
RTOS for Secure, Safe and Real-Time Systems
Open-source RTOS and Embedded Systems Toolkit for C++ and C
Real-Time Embedded Operating System
Remove old files, Bash script for cronjob
W-Bus communication library
An operating system for tenputer
A new OS
Mayax is a 32-bit hobby OS with windows style GUI.
A True Web Operating System
A simple os written in ASM