void linux
Lightweight, independent (meaning it was not derived/forked from another distribution), general-purpose Linux-based operating system started in 2008 that aims for efficiency and performance, while mixing stability and bleeding-edge. It currently only "officially" supports either a headless/terminal-only or an Xfce release, but the user can install and configure any number of other desktop environments, like GNOME or KDE Plasma for instance, from its package manager.
Its name comes from the C language keyword "void".
Although not as popular as many of the big names in the GNU/Linux sphere, it consistently ranks very high on DistroWatch in terms of ratings.