GitHub repository: org-acidburn0zzz/gnome-shell-extension-cast-to-tv
Description: Cast files to Chromecast, web browser or media player app over local network.