Not the same collection, but there's https://modarchive.org/ as the largest database/collection of this type of music online in their original file types.

These tracker files tend to be incredibly small, as most are effectively just text files. If you find some of these you like, for instance the OST for Uplink or Deus Ex, they take practically no space. They also serve as little slices of history, as a lot of them have little notes by the original creators in them, often from multiple decades ago.

If you want a player for these file types on Android, it looks like Drake Mod Player is the successor of XMP Player, which no longer works on modern Android.

Edit: Whoops, thought I was editing my comment, not replying to it.