.avi is not actually a "file format" as much as its a "package". It can contain any number of file types (and many file types can be encoded with a myriad of different codecs).

VLC Media Player is the best video player. I've never had a video file that I've thrown at it that it didn't play.