Pinned Repositories
aya-dev
A proof assistant and a dependently-typed language
holbert-ng
the next generation of the holbert proof assistant
CleanMyMacXPatcher
Just crack it
LittleJianCH
Little简Kanren - A Modern typed miniKanren dialect in Scala3
nurpkgs
Packages packaged by Mio
Sandboxie-minimum-patch
No Trialware https://github.com/vaginessa/Sandboxie-crack-auto-build
Sandboxie-nosupport
No Trialware
UniversalAMDFormBrowser-Ventoy
UniversalAMDFormBrowser image for ventoy. Based on https://github.com/DavidS95/Smokeless_UMAF
Unofficial-snapshot-Spigot-BuildData
unofficial Spigot BuildData for snapshot versions
Unofficial-snapshot-Spigot-BuildData-Scripts
unofficial Spigot BuildData for snapshot versions
mio-19's Repositories
mio-19/kernel_sm8550
Personal Fork- kernel for s23 Series (mainly dm3q) with KernelSU-Next and SUSFS integration
mio-19/mio-19
mio-19/android-nixpkgs
Nix-packaged Android SDK
mio-19/create-disp
mio-19/exo
Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚
mio-19/forest-theme
my theme for forester
mio-19/holbert-ng
the next generation of the holbert proof assistant
mio-19/home-manager
Manage a user environment using Nix [maintainer=@rycee]
mio-19/immich
High performance self-hosted photo and video management solution.
mio-19/landingpage
mio-19/lindroid-drm-loopback
mio-19/lindroid-quirks
mio-19/macOS-use
Make Mac apps accessible for AI agents
mio-19/maximize-build-space
Github action to maximize the available disk space on Github runners
mio-19/mobile-nixos
📱 (rebooting... please wait...)
mio-19/nixpkgs
Nix Packages collection & NixOS
mio-19/nyx
Nix flake for "too much bleeding-edge" and unreleased packages (e.g., mesa_git, linux_cachyos, firefox_nightly, sway_git, gamescope_git). And experimental modules (e.g., HDR, duckdns).
mio-19/One-KVM
One-KVM fork for onecloud
mio-19/reoo
probably nixos repo
mio-19/repo
android devices rom configurations
mio-19/robotnix
Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu,@cyclic-pentane]
mio-19/rp2040-project-template
A basic rp2040-hal project with blinky and rtt logging example code. With this you can quickly get started on a new rp2040 project
mio-19/rust-fp
Fingerprint library, dbus interface, CLI, and PAM module for unlocking Linux with fingerprint sensors. Currently for Chromebooks.
mio-19/sudachi
fork of https://aur.archlinux.org/sudachi.git
mio-19/system-manager
Manage system config using nix on any distro
mio-19/trayscale
An unofficial GUI wrapper around the Tailscale CLI client.
mio-19/upload
mio-19/vendor_lindroid
mio-19/waydroid_script
Python Script to add OpenGapps, Magisk, libhoudini translation library and libndk translation library to waydroid !
mio-19/web-ui
Run AI Agent in your browser.