What programs does /gif/ use to edit their gifs?
http://blog.ahfr.org/2008/03/making-animated-gifs-with-free-software.html