Repositories list

• nurpkgs

  Public
  Packages packaged by Mio

  Nix

  •

  MIT License

  •33 forks•00 stars•00 issues•00 pull requests•Updated Aug 1, 2026Aug 1, 2026

• Framework-Laptop-13

  Public
  Documentation for the Mainboard and other modules in the Framework Laptop 13

  OpenSCAD

  •

  Creative Commons Attribution 4.0 International

  •8585 forks•00 stars•00 issues•00 pull requests•Updated May 30, 2026May 30, 2026

• onlyoffice-documents-app-android-9.4.0-708

  Public
  Kotlin

  •

  GNU Affero General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 23, 2026May 23, 2026

• selector4nix

  Public
  Nix substituter proxy with parallel cache queries and latency-aware selection

  Rust

  •

  GNU General Public License v3.0

  •66 forks•00 stars•00 issues•00 pull requests•Updated May 16, 2026May 16, 2026

• YTLite

  Public
  A flexible enhancer for YouTube on iOS

  Logos

  •23k23k forks•00 stars•00 issues•00 pull requests•Updated Mar 17, 2026Mar 17, 2026

• libhybris

  Public
  C

  •

  Apache License 2.0

  •1212 forks•00 stars•00 issues•00 pull requests•Updated Feb 28, 2026Feb 28, 2026

• device_google_shusky-kernels_6.1

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Feb 28, 2026Feb 28, 2026

• platform_external_Info

  Public
  1010 forks•00 stars•00 issues•00 pull requests•Updated Feb 22, 2026Feb 22, 2026

• platform_bootable_recovery

  Public
  C++

  •3232 forks•00 stars•00 issues•22 pull requests•Updated Feb 22, 2026Feb 22, 2026

• platform_packages_apps_Contacts

  Public
  Java

  •

  Other

  •2727 forks•00 stars•00 issues•44 pull requests•Updated Feb 22, 2026Feb 22, 2026

• platform_packages_apps_Gallery2

  Public
  Java

  •1818 forks•00 stars•00 issues•11 pull request•Updated Feb 21, 2026Feb 21, 2026

• platform_packages_apps_Launcher3

  Public
  GrapheneOS launcher app

  Java

  •6060 forks•00 stars•00 issues•22 pull requests•Updated Feb 21, 2026Feb 21, 2026

• platform_packages_apps_ExactCalculator

  Public
  Java

  •

  Other

  •2626 forks•00 stars•00 issues•22 pull requests•Updated Feb 21, 2026Feb 21, 2026

• asteroid-btsyncd

  Public
  Bluetooth Low Energy synchronization daemon for AsteroidOS.

  C++

  •

  GNU General Public License v3.0

  •2020 forks•00 stars•00 issues•00 pull requests•Updated Feb 21, 2026Feb 21, 2026

• nyx

  Public
  Nix flake for "too much bleeding-edge" and unreleased packages (e.g., mesa_git, linux_cachyos, firefox_nightly, sway_git, gamescope_git). And experimental modul…

  Nix

  •

  MIT License

  •8080 forks•00 stars•00 issues•00 pull requests•Updated Dec 8, 2025Dec 8, 2025

• thunderbird-patches

  Public
  Betterbird is a fork of Mozilla Thunderbird. Here are the patches that provide all the goodness.

  Batchfile

  •

  Other

  •4545 forks•00 stars•00 issues•00 pull requests•Updated Nov 2, 2025Nov 2, 2025

• waveterm

  Public
  An open-source, cross-platform terminal for seamless workflows

  Go

  •

  Apache License 2.0

  •1.1k1.1k forks•00 stars•00 issues•00 pull requests•Updated Nov 1, 2025Nov 1, 2025

• MuseScore3

  Public
  MuseScore is a open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

  C++

  •

  Other

  •3.3k3.3k forks•00 stars•00 issues•00 pull requests•Updated Oct 29, 2025Oct 29, 2025

• mobile-nixos

  Public
  📱 (rebooting... please wait...)

  C

  •

  MIT License

  •242242 forks•00 stars•00 issues•00 pull requests•Updated Sep 12, 2025Sep 12, 2025

• YTMusicUltimate

  Public
  The best tweak for YouTube Music iOS.

  C

  •

  GNU General Public License v3.0

  •9.7k9.7k forks•00 stars•00 issues•00 pull requests•Updated Sep 2, 2025Sep 2, 2025

• cubeb-coreaudio-rs

  Public
  The audio backend of Firefox on Mac OS X.

  Rust

  •

  ISC License

  •2121 forks•00 stars•00 issues•00 pull requests•Updated Jul 26, 2025Jul 26, 2025

• trayscale

  Public
  An unofficial GUI wrapper around the Tailscale CLI client.

  Go

  •

  MIT License

  •3636 forks•00 stars•00 issues•00 pull requests•Updated May 1, 2025May 1, 2025

• exo

  Public
  Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚

  Python

  •

  GNU General Public License v3.0

  •3.5k3.5k forks•00 stars•00 issues•00 pull requests•Updated Mar 13, 2025Mar 13, 2025

• edl

  Public
  Inofficial Qualcomm Firehose / Sahara / Streaming / Diag Tools :)

  Python

  •

  GNU General Public License v3.0

  •562562 forks•00 stars•00 issues•00 pull requests•Updated Jan 27, 2025Jan 27, 2025

• SpotX

  Public
  SpotX patcher used for patching the desktop version of Spotify

  PowerShell

  •

  MIT License

  •1.1k1.1k forks•00 stars•00 issues•00 pull requests•Updated Jan 15, 2025Jan 15, 2025

• crossover-trial-renew

  Public
  A tool which resets the crossover trial in order to achieve using crossover for free

  Shell

  •3232 forks•00 stars•00 issues•00 pull requests•Updated Jan 10, 2025Jan 10, 2025

• SpotX-Bash

  Public
  SpotX Mac and Linux adblocker for the Spotify desktop client, in Bash

  Shell

  •

  MIT License

  •224224 forks•00 stars•00 issues•00 pull requests•Updated Jan 2, 2025Jan 2, 2025

• applesauce

  Public
  Transparent compression for Apple File System Compression (AFSC)

  Rust

  •

  GNU General Public License v3.0

  •66 forks•00 stars•00 issues•00 pull requests•Updated Dec 23, 2024Dec 23, 2024

• metacoq

  Public
  Metaprogramming, verified meta-theory and implementation of Coq in Coq

  Coq

  •

  MIT License

  •9999 forks•00 stars•00 issues•00 pull requests•Updated Dec 7, 2024Dec 7, 2024

• NoCubes

  Public
  A mod for 1.12.2+ that creates smooth terrain in Minecraft

  Java

  •

  GNU Lesser General Public License v3.0

  •1515 forks•00 stars•00 issues•00 pull requests•Updated Oct 9, 2024Oct 9, 2024