I would also have added http://codecs.ofmlabs.org which features hand-ported MP3 and ALAC decoders.