Atmosphere mars-research.github.io ↗

Verus ↗Dev tools

A tool for verifying the correctness of Rust code.

Qubes OS ↗Operating systems

A security-focused desktop OS using compartmentalized virtual machines.

Aeneas ↗Dev tools

A toolchain that translates safe Rust programs into proof assistants like Lean for verification.

ublk ↗Operating systems

A Linux kernel framework for implementing block devices in userspace over io_uring.

OpenWrt Operating systems

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

fairydust kernel ↗Operating systems

A Fedora COPR kernel build for Asahi that enables extra hardware features.

User-mode Linux ↗Operating systems

A port of the Linux kernel that runs as a normal userspace process.

io_uring ↗Operating systems

A Linux kernel interface for asynchronous I/O via submission and completion rings.

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.