Cast to TV is a GNOME Shell extension to cast videos, music and pictures to Chromecast or other devices over a local network.

Source: Linux Today – Cast To TV v10 GNOME Extension Adds Support For Casting To Other Linux Devices