DBOS vldb.org ↗

OpenBSD ↗Operating systems

A security-focused free Unix-like operating system.

Qubes OS ↗Operating systems

A security-focused desktop OS using compartmentalized virtual machines.

Plan 9 Operating systems

A distributed operating system from Bell Labs.

HardenedBSD ↗Operating systems

A security-hardened fork of FreeBSD.

oss-scanner ↗Security & privacy

Anthropic's open-source tool for scanning OSS projects for vulnerabilities and proposing patches.

MirageOS ↗Operating systems

A library operating system for building unikernels in OCaml.

MentraOS ↗Operating systems

Open source operating system for smart glasses.

OpenWrt Operating systems

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

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.