As long as the boards have an ATmega32u4 you should be fine running TMK/QMK on them. The main noticeable difference that you will find with different boards is the bootloader that comes pre-programmed as the bootloader determines how you will upload new code to the controller.
Both the boards you linked would come with same bootloader as the pro micro (Caterina bootloader), so the process to upload code should be essentially the same. Their are lots of guides for how to do that with TMK, so it should be pretty straight forward.