Die Liste stammt von der App Zapp, mit der man auf Android die Live-Streams der öffentlich-rechtlichen Fernsehsender anschauen kann.

https://github.com/cemrich/zapp/blob/master/app/src/main/res/raw/channels.json

Die einzelnen Streams lassen sich gut mit mpv oder auch VLC ansehen.

Dafür kann man z. B. ein Alias für mpv erstellen und die Streams über die Zwischenablage verwenden, siehe hier.