https://digilent.com/shop/all-products/ https://digilent.com/shop/all-products/ These guys target the education market and most of their boards are compatible

https://digilent.com/shop/all-products/ https://digilent.com/shop/all-products/ These guys target the education market and most of their boards are compatible with the free version of the Xilinx toolchain. The boards have a modular expansion connector and they sell lots of compatible expansion modules for different I/O mechanisms, both electrical and human (lights, buttons, displays, etc.) This one checks your boxes: https://digilent.com/shop/nexys-a7-fpga-trainer-board-recommended-for-ece-curriculum/ https://digilent.com/shop/nexys-a7-fpga-trainer-board-recomm... I bought an earlier version of this product 15 years ago in college...now I feel old.