It doesn't mention the FPGA platform used for this so I did a bit of digging. Looks like Digilent's "Nexys Video Artix-7 FPGA: Trainer Board for Multimedia Applications". This goes for $550 and of course doesn't count all of the PMOD's and other hardware hanging off the board.

https://digilent.com/shop/nexys-video-artix-7-fpga-trainer-b...