We actually finished port of Tetris for the Badge, but as a custom firmware for PIC24 (yea I know it's kind of cheating):

But anyway I'm still planning to support Supercon.6 badge target in my SDK and I even connected Cherry-MX keys to the badge to make playing future 4-bit Tetris as easy as possible :)