ZXTres is an evolution of the well-known ZXUno project to a larger field-programmable gate array. ZXTres provides modern video output through DisplayPort, VGA and analog audio (I2S or DeltaSigma DAC selection). It's based on the QMTECH Artix7 Xilinx Board.
Information and documentation for ZXTRES on its WIKI
zxtres_wrapper repo contains modules and top files for interfacing with ZXTRES hardware.
Jupiter Ace repo contains information on how to use the ZXTRES wrapper.
cores repo contains the bit and ZX3 binaries of the cores ported to ZXTRES.
Discussion group on Telegram(Official)
When available it could be buyed at Antonio Villena's store