Your favorite operating systems in one place
Scalable, optimized, secure RTOS for multiple hardware architectures
syzkaller is an unsupervised coverage-guided kernel fuzzer
16 bit real mod minecraft clone running in bios
Simply Awesome.
Android Custom Rom
AO RTOS is small real time OS based on Active Object concurrency model
Jupyter kernel for Coq
Just bring Linux for a better world
The smallest and the most powerful operating system.
ch.rose is an indie project based on arch linux and ALCI.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
An android custom ROM based on AOSP,which provides a stock experience
A tool for automating the installation of Windows OS
Indipendent distro uses inary package system. Sulin is roolling donkey
Tiny Kernel is a work in progress Operating System kernel.
AliOS Things latest version
Beamology: Semicom Project Management
Linux distribution made specifically to run Docker containers
RTOS for Secure, Safe and Real-Time Systems