There are certainly plenty of LUTs etc on those boards and as they all use Xilinx Artix-7 FPGAs they can use our existing workflow for the Arty A7-100T.
Every FPGA board has different I/O, different RAM etc and needs a customised “FPGA Shell” definition for it, and produces a different bitstream. A bitstream for one board will not work on another board.
If you are familiar with developing for FPGAs and are doing your own Verilog projects using one of these boards, know how to configure the IO, and know how to load bitstreams on to it then you should not have much difficulty in modifying our Arty A7-100T configuration to use different Xilinx-based boards, such as these.
We don’t have these boards, we don’t have engineering resources to do the work to support them, but if you make them work we’ll happily accept pull requests to include support for them in our repository.