I have worked on a number of projects related to the Arduboy, a handheld game system running on an ATmega32U4.

Arduboy Software