Omarchy Mobile: native Omarchy on mobile phones. Arch Linux ARM, Hyprland and Omarchy on a mainline kernel (work in progress)
Find trending repositories by name or description.
Omarchy Mobile: native Omarchy on mobile phones. Arch Linux ARM, Hyprland and Omarchy on a mainline kernel (work in progress)
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
JavaFX mainline development
Detect Treble, GSI, Mainline, APEX, system-as-root(SAR), A/B, etc.
Minimal Debian and Ubuntu images for Amlogic based Android TV-boxes with mainline Linux LTS kernel.
LCD firmware for QIDI printers with mainline Klipper
Yocto Linux project to build a complete mainline Linux-based firmware for the Centauri Carbon printer
OpenCode on Termux: native bionic mainline (stable since 27/28, zero-glibc single ELF with TUI) + glibc appendix (opencode-glibc) + frozen standalone rollback package (opencode-glibc-standalone); opencode and opencode-glibc are mutually exclusive.
Git-native memory for coding agents. Repo memory before the diff.
Linux (Ubuntu 24.04/26.04 or OpenWrt) next to Android on the ZTE F50 / MU300 and U30 Air 5G hotspots (Unisoc T760 / UMS9620): installer, vendor 5.4 and mainline 6.18 / 7.2 kernels, 5G modem, Wi-Fi, battery, LEDs, NFC, findings