RNOAnim is a compact animation player that also has some conversion and editing functions. It supports IFF, GIF, and AVI (uncompressed/MJPEG) anims internally, but also allows a wide range of other formats via plugins and datatypes.