Getting/syncing music isn’t really a major problem for me, a decent audio player (with minimal features such as a queue and a decent UI) is what I’m trying to find.

Any opensource music players for iOS you recommend? I found Flacbox which seems alright (a little buggy but you can’t win them all, can you?)