royka1 / diting-ubuntu
Ubuntu 26.04 + Phosh for the Xiaomi 12T Pro / Redmi K50 Ultra (diting, SM8475) on mainline Linux: build system, packages, kernel patches
royka1 / diting-ubuntu
openjdk / jfx
JavaFX mainline development
devmfc / debian-on-amlogic
Minimal Debian and Ubuntu images for Amlogic based Android TV-boxes with mainline Linux LTS kernel.
HOL-Theorem-Prover / HOL
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.
dikeckaan / mu300-linux
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
msm8916-mainline / lk2nd
Custom bootloader for Qualcomm MSM8916/MSM8226/MSM8974/... devices
big0lives / codex-task-pointer
Pre-compaction hooks + a CAS-guarded task pointer that keep Codex agents on-goal across context auto-compaction — no mainline drift, no duplicate work, no conflicting progress in long runs.
derekross / omarchy-mobile
Omarchy Mobile: native Omarchy on Google Pixel phones. Arch Linux ARM, Hyprland and Omarchy on a mainline kernel (work in progress)
agcarbajo / ubuntu-galaxy-tab-s9-ultra
Ubuntu 26.04 LTS on a mainline kernel for the Samsung Galaxy Tab S9 Ultra Wi-Fi (SM-X910, gts9uwifi)
yzddmr6 / xiaomipad-6pro-mainline
Ubuntu on Xiaomi Pad 6 Pro (liuqin): mainline Linux integration, build tools and installation images.
cnjn / linux-mainline-zte-zxslc-sr1010
Mainline Linux 6.18.38 kernel for the ZTE ZXSLC SR1010 router (ZX279133 SoC).
angelwzr / linux-phone-porting
A coding agent skill to help you port mainline Linux to phones, tablets and other suitable devices
MT6895-Mainline / linux
Linux kernel for mt6895 devices
givemeadc / mainline-guardian
给 AI 装一个“别跑题、别自嗨、别忘记最初目标”的项目导航仪。让 AI 一直记得自己真正要完成什么：守住主线、管理支线、保留经验
vahiru / gaokun-android
Android 16 (crDroid) on the Huawei MateBook E Go — Snapdragon 8cx Gen 3, mainline Linux kernel, hardware Vulkan on Adreno 690. No vendor BSP exists; every HAL is built on upstream drivers.
AAAYNMMM / chatgpt-work-api-Releases
CWapi release repository: 2.x mainline with clean release source snapshots, plus the preserved 1.6.x legacy track and portable Windows releases.
yzddmr6 / onepluspad-2pro-mainline
Ubuntu Desktop for OnePlus Pad 2 Pro: kernel integration, device packages and installation tools