Nix and NixOS offer a unique way to manage packages and system configs, making it easy to build reproducible and reliable systems on Linux and beyond.
Create reproducible systems with declarative builds
Nix and NixOS provide tools for building, configuring, and managing systems in a declarative and reliable way. With Nix, you get a powerful package manager that allows you to define your software environment and system configuration as code, making it easy to reproduce setups across different machines.
Whether you're a developer, system administrator, or just exploring Linux, you can use NixOS to create stable, predictable systems that are easy to update and roll back. The website offers resources to download the tools, learn how to use them, and connect with a supportive community.
If you value reliability and reproducibility in your computing environment, Nix and NixOS make it straightforward to keep your systems consistent, whether for personal use or large-scale deployments.
Discover websites similar to Nixos.org based on shared categories, topics, and features.
Void Linux is a fast, independent operating system with a flexible package system for easy software installation, updates, and source builds.
GNU Guix is a free package manager and operating system distribution for GNU/Linux, giving you control, reproducibility, and freedom over your software.
Xubuntu is a community-driven operating system with a simple, elegant interface powered by the lightweight Xfce desktop. Download and explore easily.
Haiku is an open-source operating system for personal computers, inspired by BeOS. It's fast, easy to use, and designed for everyday computing.
AlmaLinux OS is a free, open-source, enterprise-grade Linux operating system that is community owned, stable, and fully compatible with RHEL.
Devuan GNU+Linux is a free, open source operating system you can use, modify, and share on your computer, focused on init freedom and user choice.
Damn Small Linux 2024 is a lightweight Linux distribution designed for low-spec x86 computers, offering essential apps in a compact package.
Download official Debian installation images for USB, CD, or DVD to set up the Debian operating system on your computer with ease.
Discover Fedora Spins—customized Fedora Linux editions with different desktop environments. Download versions tailored to your workflow or preference.
FreeBSD is a free, open source operating system for servers, desktops, and embedded devices, known for reliability, security, and advanced features.
Alpine Linux offers a lightweight, secure Linux operating system designed for simplicity and efficiency. Ideal for servers, containers, and developers.
ReactOS is a free, open-source operating system designed to run Windows applications and drivers in a familiar, trustable environment.
NetBSD is a free, open source Unix-like operating system known for speed, security, and portability across servers, desktops, and embedded devices.
Linux From Scratch guides you step-by-step to build your own custom Linux system from source code, offering hands-on learning for advanced users.
LineageOS offers a free, open-source Android-based operating system for smartphones and tablets, giving you more control and privacy on your device.
BackTrack Linux was a popular security-focused operating system for penetration testing, now continued as Kali Linux. Site offers legacy info and links.
Manjaro is a user-friendly Linux operating system built for both individuals and organizations, offering simple installation, updates, and community support.
Arch Linux ARM offers a lightweight, flexible Linux distribution for ARM devices, letting you build a custom system tailored to your needs.
Ubuntu MATE is a community-built operating system that combines Ubuntu with the classic MATE desktop for a stable and user-friendly experience.
GrapheneOS is a privacy-first, open-source mobile operating system that offers enhanced security and supports Android apps for your smartphone.
Pop!_OS is a Linux-based operating system designed for developers, makers, and STEM professionals who want a powerful and streamlined computing experience.
Explore and contribute to the Android Open Source Project, where you can build, test, and customize the Android operating system for your devices.
Linux Mint is a free, easy-to-use desktop operating system for personal computers, offering a comfortable and modern Linux experience for everyone.
Download official Ubuntu operating system releases, including long-term support (LTS) and interim versions, with details on support periods.
KaiOS brings internet and smart features to affordable phones, offering apps, news, and tools for users and developers worldwide.
Browse and download alternative versions of Fedora, including spins and special formats, to suit your needs. Find different Fedora OS options in one place.
Learn about systemd, the core system and service manager for Linux that helps start and manage services and processes on your computer.
MX Linux offers a stable, easy-to-use desktop operating system with helpful tools and strong community support for everyday computing needs.
Grml is a bootable live Linux system based on Debian, packed with admin tools for system installation, deployment, and rescue—no installation needed.
Explore NOVA Microhypervisor, a research-focused OS project for secure virtualization using a small, trusted microkernel architecture.
illumos is an open-source Unix operating system offering advanced system debugging, modern filesystems, networking, and virtualization features.
Genode is an open-source framework for building secure, component-based operating systems that scale from embedded devices to general-purpose computing.
Garuda Linux offers a user-friendly, performance-focused Linux distribution with modern features, easy setup, and a wide range of desktop environments.
MidnightBSD is a free desktop operating system for x86 and x86-64 PCs, offering built-in tools for email, web browsing, and everyday tasks.
KaOS is a Linux distribution built from scratch, focused on delivering a lean and streamlined KDE desktop experience with Qt-based applications.
CalyxOS is a privacy-focused mobile operating system that helps you use your phone without being tracked, offering security and control over your data.
FreeMiNT is an open-source operating system project for Atari computers. Explore documentation, download builds, and access related development tools.
Lubuntu is a fast, lightweight operating system based on Ubuntu, offering essential apps and easy installation for everyday computing needs.
Rocky Linux is a free, open-source enterprise operating system that's fully compatible with Red Hat Enterprise Linux, built and maintained by the community.
RIOT is a free, open source operating system designed for the Internet of Things, helping developers run smart devices on a wide range of hardware.
Jide OS is a China-developed operating system based on Linux, offering real-time and time-sharing features, and supporting Android apps for secure use.
ev3dev is a Debian Linux-based operating system for LEGO MINDSTORMS EV3 and compatible robotics kits, offering programming and project support.
Pardus is a free, open-source national operating system offering secure, high-performance solutions for desktops, servers, and embedded systems.
Kubuntu is a free, user-friendly Linux operating system that features the KDE Plasma desktop, offering a simple yet powerful computing experience.
Zorin OS is a user-friendly Linux-based operating system designed as an alternative to Windows and macOS, focusing on speed, security, and privacy.
Raspbian offers a free Debian-based operating system optimized for Raspberry Pi, with thousands of pre-installed software packages for easy setup.
Download openSUSE Linux distributions for free, explore stable and rolling releases, and access resources in multiple languages on this official site.
User-mode Linux lets you run a Linux virtual machine inside your own computer, offering safe, contained testing and development environments.
Fuchsia is an open source operating system designed to be simple, secure, and updatable, powering a wide range of hardware and software devices.
Mageia is a free, community-driven Linux operating system for desktops and servers, offering easy downloads, support, and a welcoming community.
Explore the GNU Operating System and learn about free software—offering tools, resources, and ways to support user freedom in computing.
Explore Windows 11—an operating system with built-in AI, productivity tools, accessibility features, and seamless PC integration for work and play.
Ubuntu offers a modern, open source Linux operating system for desktops, servers, cloud, and IoT, designed for enterprise and developer needs.
CentOS offers a free, open-source Linux distribution that closely follows Red Hat Enterprise Linux, with strong community support and active development.
SUSE offers open source Linux operating systems, cloud solutions, and enterprise server tools to help businesses modernize IT infrastructure and workloads.
openSUSE offers a powerful Linux operating system for desktops and servers, with tools for sysadmins, developers, and users who want the latest software.
OpenWrt is a customizable Linux-based operating system for embedded devices, offering a writable filesystem and package management for full device control.
OpenBSD is a free, security-focused operating system known for its reliability, open source tools, and emphasis on code correctness and cryptography.
Arch Linux offers a lightweight, flexible Linux distribution focused on simplicity. Access downloads, documentation, forums, and community support.
Replicant is a free, open-source Android operating system focused on privacy and security for select mobile devices. Supports user freedom and transparency.