Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
5KPlayer
https://www.youtube.com/watch?v=Zc41jJAhozc
QuickTime
Reflector 2
https://www.airsquirrels.com/reflector
- I think there is a way to do it directly ...
AirDroid
Works both for IOS and Android.
https://support.apple.com/en-us/HT204289#mirroriOS
https://www.airdroid.com/en/