S.U.P.E.R.M.A.N. optimizes the macOS software update experience
A script that automates downloading macOS installers
Helping students read all the code of a teaching operating system
A secure embedded operating system for microcontrollers
Reference implementation of Anoma
Enhanced Emacs 25.1+ distribution
A small operating system where I experiment and learn osdev
Linux Desktop OS for professionals
Blazingly Fast & Customizable Linux distribution
A free, easy to use operating system
Lightweight & fast Debian-based Linux Distribution
Distribution for refurbished computers and GNU/Linux discovery for all
A minimum linux desktop distribution
Yet another minimal Linux distribution, based on Arch Linux.
free alternative firmware for the DLink DNS-320/320L/321/323/325/327L
d77void is a respin of Void Linux with WindowManagers
LinuxQ83 AMD64 and ARM64 (Raspberry Pi 4) (Radxa Orion O6)
Secure open source Linux distribution
Like Arch built from ground up with runit
SysLinuxOS for System Integrators