It works with any device, as long as it's using TMDS over HDMI. I don't think it will work with DisplayPort as it uses data whitening.

I've been trying to dig up the code for it. It's somewhere on my system.

Update: Here it is: https://pastebin.com/rwtTvFRQ