My favourite too. Has m3u support so in theory can sync with android through something like syncthing. There you can use something like Anrimians Music player that also syncs from and to m3u files

It doesnt fully work currently though, not sure why.

For Android, Anrimians Music player

For Linux there only are a few so check them

• gapless (new, gnome)
• juk (older, minimal, KDE)
• elisa (current, KDE)
• amarok (old, updated, KDE)
• rhythmbox (old, gnome)
• strawberry, clementine (old, Qt)