Linux Kernel source tree
Scalable, optimized, secure RTOS for multiple hardware architectures
NVIDIA Linux open GPU kernel module source
Rust Linux-compatible kernel
A Scala kernel for Jupyter
Market leading real time kernel for 40+ microcontroller architectures
Current Release: Calam-Arch-Installer-2026-04 Kernel: 6.19.10
Boots into many systems and GRUB2 ones!
Yet another minimal Linux distribution, based on Arch Linux.
Source based linux distribution
Blazingly Fast & Customizable Linux distribution
Runtu is a desktop Linux distribution based on Ubuntu.
Debian Trixie with the Mate desktop environment
Easy, yet powerful, GNU/Linux distribution
A Fast, Offline, Graphical distribution based on Arch Linux
The data science OS
FluXuan Linux - Devuan based operating system!
A light version of Debian with minimal installed using LXDE.
ArchEX is a new (260108/260106) Linux Live System based on Arch Linux.
Jupyter kernel for Coq
exGENT Live System is - as the name suggests - based on Gentoo Linux
A python Linux Kernel Simulator