This is the stress-ng upstream project git repository.
The source for the Linux kernel used in Windows Subsystem for Linux 2
Zen Patched Kernel Sources
Scalable, optimized, secure RTOS for multiple hardware architectures
The operating system and all related software
syzkaller is an unsupervised coverage-guided kernel fuzzer
Linux Kernel Manager and Activity Monitor
Real-Time Event Frameworks based on active objects & state machines
Jupyter kernel for Coq
Alternative operating system for x86 computers
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
R kernel for Jupyter
Vampire OS is the alternative to Windows and macOS
A microkernel-based multiserver operating system written from scratch.
C-BIOS is an open source BIOS for MSX computers.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
AliOS Things latest version
Free real-time operating system designed for microcontrollers
Free cooperative operating system designed for microcontrollers
x86-64 os made in crystal
Auto-Case converts your mistake into perfection!
A Haskell kernel for the Jupyter project
Small real time operating system for AVR and ARM microcontrollers