I don't know what radio.garden uses but for my radio streaming site I mostly use https://www.radio-browser.info/ that I actually discovered on Hacker News.