Rather than using AirPlay, many video production tools use NDI[0] for video over IP.
OBS[1] can take multiple video streams in NDI or from HDMI input cards and mix them with more flexibility than the BlackMagic Mini Pro (which is a cool device for what it does.)
[0] https://ndi.tv [1] https://obsproject.com