It appears that most of the linked project runs from Arduino-based hardware (or at least originiated from the hardware).

I would venture to guess that they don't run a full OS, per se, on the device itself, opting instead for dedicated code running on drop-in microcontrollers.