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
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.
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
An operating system written in RTL
An operating system for tenputer