2024-06-26: The Mobile NixOS project has moved!.
You can find the code at its new location at
github.com/mobile-nixos/mobile-nixos
.