I have never heard of a software project within the FOSS community to do this. There are plenty of commercial solutions available, you may perhaps Google linux HDMI over wifi
, you will run into them.
Apart from this search, by the look of it, I especially liked an object called WIFI2HD2 HDMI® over Wi-Fi Adapter by StarTech.com because it does not have a transmitter on the pc, just a receiver attached to the TV. But I am not sure this works with Linux.
There are however other solutions: have you heard of CuboxTV? Nowadays, it comes pre-installed with Xmbc/Kodi, it is a full-fledged Linux pc (which means it can access your Samba shares, NAS, UPnP devices), you can ssh into it, it can be controlled with a smartphone app at no extra cost.