http://arenavision.in/ http://torrent-tv.ru/channels.php
However, I doubt that 'fully loaded' Kodi boxes uses it, most likely it use simple m3u streams harvested from internets.
Reply on news.ycombinator.com