Rocky Linux
Rocky Linux is an open-source enterprise operating system designed to be 100% bug-for-bug compatible with Red Hat Enterprise Linux®. It is under intensive development by the community.
Debian
Debian is a free operating system (OS) for your computer. Debian provides more than a pure OS: it comes with over 51000 packages, precompiled software bundled up in a nice format for easy installation on your machine.
Ubuntu
Ubuntu is a Debian-based Linux operating system for personal computers, tablets and smartphones, where Ubuntu Touch edition is used. It also runs network servers. That is usually with the Ubuntu Server edition, either on physical or virtual servers (such as on mainframes) or with containers, that is with enterprise-class features. It runs on the most popular architectures, including server-class ARM-based.
Mint
Linux Mint is a community-driven Linux distribution based on Debian and Ubuntu that strives to be a "modern, elegant and comfortable operating system which is both powerful and easy to use."Linux Mint provides full out-of-the-box multimedia support by including some proprietary software and comes bundled with a variety of free and open-source applications.
Arch Linux
Arch Linux, a lightweight and flexible Linux® distribution that tries to Keep It Simple.
Fedora
Fedora is a Linux distribution developed by the community-supported Fedora Project and sponsored by Red Hat. Fedora contains software distributed under various free and open-source licenses and aims to be on the leading edge of such technologies.
Alpine Linux
Alpine Linux is a security-oriented, lightweight Linux distribution based on musl libc and busybox.
Manjaro
Manjaro is an operating system, suitable as a free replacement to Windows or MacOS. It has different editions, they all use the same base but provide a different experience, based on the diversity of desktop environments available.
CTAN
The Comprehensive TeX Archive Network (CTAN) is the central place for all kinds of material around TeX.
