DroidDeck github.com ↗

AYN Odin 2 Portal Hardware

An Android handheld gaming device.

OCaml Elm Playground ↗Frameworks & libraries

A collection of small browser games written in OCaml, including a Battlezone-style game.

deb.sury.org ↗Operating systems

A third-party repository providing PHP packages for Debian and Ubuntu.

OpenZFS on OS X Operating systems

A port of OpenZFS for macOS, installable via Homebrew.

Inferno ↗Dev tools

A QEMU-based emulator project for running modern iOS on non-Apple hardware, by ChefKiss.

ublk ↗Operating systems

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

BoringSSL Security & privacy

Google's fork of OpenSSL used in Chrome and Android.

Zephyr RTOS Operating systems

An open-source real-time operating system for embedded 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.

GNU Guix ↗

A functional package manager and Linux distribution with transactional upgrades.

deb.sury.org ↗

A third-party repository providing PHP packages for Debian and Ubuntu.

seL4

A formally verified microkernel.

AlmaLinux

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

Btrfs

A copy-on-write Linux filesystem with snapshot support.

FreeBSD

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

KDE Plasma

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

LineageOS

A free, community Android distribution for many devices.

NEXTSPACE ↗

A desktop environment for Linux aiming to recreate the NeXTSTEP experience on modern hardware.

OpenZFS on OS X

A port of OpenZFS for macOS, installable via Homebrew.