And then there's this guy:
http://jkdevices.com/arduino-megamini
not particularly mini, tiny or teensy, but it does get the full sized TQFP chip on there and manages to get all the pins broken out, in a form factor that looks comparable in size to an Uno. Mini for a Mega, I guess!