GIFeq is a useful graphics tool for reducing the size of GIF files by optimizing the data contained within them.

GIFeq Features
Batch processing of animated and still files
Remove comments and interlacing, optimize palettes, etc.
AVI clip to animated GIF conversion
Create static GIFs using customizable palettes from 13 different image formats