The TUL PYNQ-Z2 is a single-board computer (SBC) designed for development with the open-source Python Productivity for Zynq (PYNQ) framework. The board has Arduino and Raspberry Pi headers along with a host of other ports and connectors. The TUL PYNQ-Z2 ships worldwide from Seeedstudio for US$119 or for US$114 from Newegg if you live in the US.
https://www.notebookcheck.net/TUL-PYNQ-Z2-An-Arduino-and-Raspberry-Pi-compatible-Xilinx-Zynq-C7Z020-based-PYNQ-development-board.426529.0.html