These are Raspberry Pi Picos, they are embedded type devices and not the usual Pis you're used to. The keyboard I'm using right now uses the same chip (RP2040)

These are Raspberry Pi Picos, they are embedded type devices and not the usual Pis you're used to. The keyboard I'm using right now uses the same chip (RP2040) as the Pico, runs QMK and seems to be more performant (flashes faster anyway) than the normal microcontrollers you tend to get in plancks and the like.