This is the stress-ng upstream project git repository.
A BSD-based OS project that aims to provide an experience with MacOS
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
A light version of Debian with minimal installed using LXDE.
AO RTOS is small real time OS based on Active Object concurrency model
Alternative operating system for x86 computers
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
An operating system for those who value security and privacy.
Linux distribution made specifically to run Docker containers
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
An operating system written in RTL
32 bit VIRGO Linux Kernel
Reductively Architected Breviloquently Built Information Environment
An operating system for tenputer