Hello I'm the developer of programmes-radio.com (but non-French people should probably use https://www.radio-addict.com instead) (also the website is open source, https://github.com/conradfr/ProgRadio/)

I don't show the streaming links but it's not for lock-in but because I've never got that request :) You can just look them up using developer tools though (same for radio-garden). Not ideal on mobile I guess.

I haven't look at what radio.garden does but I proxy some http only streams that don't work well when requested from an https audio element, maybe that's what you're referring to.