OSX, Windows, and Linux Desktop Clients for Rocket.Chat
Your favorite operating systems in one place
Hobby operating system, bootloader, kernel, drivers, C library
This is the stress-ng upstream project git repository.
The operating system and all related software
Scalable, optimized, secure RTOS for multiple hardware architectures
Jupyter kernel for Coq
Jupyter magics and kernels for working with remote Spark clusters
Linux Desktop OS for professionals
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Embedded Frameworks based on active objects & state machines
Vampire OS is the alternative to Windows and macOS
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
Debian Bullseye with the Mate desktop environment
Free real-time operating system designed for microcontrollers
HackSys Extreme Vulnerable Driver (HEVD) - Windows & Linux
Auto-Case converts your mistake into perfection!
Open-source RTOS and Embedded Systems Toolkit for C++ and C
PRTOS is a simple, compact preemptive RTOS for embedded systems