HardenedBSD hardenedbsd.org ↗

OpenBSD ↗Operating systems

A security-focused free Unix-like operating system.

NixBSD ↗Operating systems

An experimental FreeBSD-based operating system managed with the Nix package manager.

FreeBSD ↗Operating systems

An open-source Unix-like operating system with integrated ZFS support.

Qubes OS ↗Operating systems

A security-focused desktop OS using compartmentalized virtual machines.

DBOS ↗Operating systems

A DBMS-oriented operating system research project.

CachyOS ↗Operating systems

An Arch-based Linux distribution focused on performance.

systemd credentials ↗Operating systems

systemd's mechanism for passing secrets to services without environment variables.

Fedora Linux ↗Operating systems

A Linux distribution sponsored by Red Hat.

GrapheneOS ↗

A privacy- and security-focused Android distribution for Pixel phones.

Debian ↗

A community Linux distribution with its own packaged PHP and security updates.

seL4 ↗

A formally verified microkernel.

Asahi Linux ↗

A Linux distribution ported to run natively on Apple Silicon Macs.

NixOS ↗

A Linux distribution with declarative system configuration.

KDE Plasma ↗

A desktop environment for Linux and other Unix-like systems.

OpenWrt

Open-source Linux distribution for routers and embedded network devices.

AlmaLinux ↗

A free, community-run Linux distribution binary-compatible with RHEL.

FreeBSD ↗

An open-source Unix-like operating system with integrated ZFS support.

GNU Guix ↗

A functional package manager and Linux distribution with transactional upgrades.

Gravity Linux ↗

A Linux project targeting newer Apple Silicon including M4 Macs.

Omarchy ↗

An opinionated Arch Linux desktop setup promoted by DHH.