Scalable, optimized, secure RTOS for multiple hardware architectures
Jupyter magics and kernels for working with remote Spark clusters
GaryOS is an entire GNU/Linux system in a single bootable file
AO RTOS is small real time OS based on Active Object concurrency model
Real-Time Event Frameworks based on active objects & state machines
Open-source RTOS and Embedded Systems Toolkit for C++ and C
Efficient GPU kernels for block-sparse matrix multiplication
Independent GNU/Linux distribution
Quick, simple, intuitive, powerul UNIX system management solution.
Orange JeOS ("juice") is a small and secure Linux distribution
A simple, lightweight i686-optimized Linux distribution