Raspberry pi 4を外部のHDMIでモニタに接続する代わりに、
MiraCastみたいなWiFiで映像を飛ばす方式でモニタに映したいです。
調べてみると、MiracleCastというOSS実装があるみたいなんですが、
ググってみたところまだどうもうまく機能していないようです。

MiraCastはソースとシンクの２つの概念があって、映像送信側がソースで、
受け側がシンクらしいです。受け側は、HDMI端子を持った小型デバイスのことだと思います。

（モニタ）□←HDMI←[シンク（小型デバイス）]----WiFi----[ソース]

で、Raspberry piでちゃんと機能するソースの実装ってあるんでしょうか。