Please tell me what programs you use to optimise/crunch animated gifs. What do you think is the best program to use?

I need as many answers as possible. Thanks.