I'm trying to find a way to stream my monitor to Apple TVs in my school via AirPlay. I've already done some research and it seems like there are currently no software solutions, with the closest one being openairplay, however it seems to be pretty dead.

I "need" AirPlay, as my school only uses Apple TVs, and it's quite inconvenient to always bring my HDMI cable and have to hook up to projectors that way.

I'm also open to more scuffed solutions, as I won't be going to that school for much longer. Some things I have thought of so far are:

1. Using my old iPhone 6 (maybe jailbreak it, I don't think that matters here though) and something like deskreen to first cast my laptop screen to the iPhone and then AirPlay from there. I'd expect this to work, but it wouldn't be much less cumbersome than just using HDMI directly, and it would also mean having to carry that iPhone and a charging cable for it with me all the time.
2. Using a Mac OS virtual machine with something like OSX-KVM, then possibly buying a WiFi card with AirPlay support and passing it through to the VM in combination with a similar deskreen solution as in 1. This also seems pretty complicated, and I'm not even sure if it would work at all.

Does anyone here have any experience with this, know of any better solutions (I'm also open to more scuffed solutions), or maybe even tried one of my scuffed methods already?