What software are people using to make these good animated gifs?

I see tons of high quality animated gifs out there, and have been wondering what people are using to create them.

Anyone?