Most open firmware is written for the Teensy (2.0 mainly), but the Arduino / Pro Micro (cheap clone - quality may vary) has exactly the same chip (ATMega32u4 - worth checking on Arduino/Pro Micro boards). Its pretty easy to make a keyboard with the Arduino software, as its one of the examples.
The differences for me are:
Support (Teensy can use TMK with little to no modification, Pro Micro you use an example as a basis for the keyboard)
Price (Pro Micro clones are ~£3 from China vs Teensy ~£10-15)
USB Port (Teensy has Mini, Pro Micro has micro)
Bootloader (Pro Micro has a serial interface that is always present, Teensy uses a USB mode activated by a onboard button)