有，用GIF Movie Gear做。 
它不仅可以制作GIF动画,还可以在AVI、GIF、ANI三种文件之间随意转换。
http://www.zuijia777.com/Down/10677.html

还可用Ulead GIF Animator V5.05做。

友立公司出版的动画GIF制作软件，内建的Plugin有许多现成的特效可以立即套用，可将AVI文件转成动画GIF文件，而且还能将动画GIF图片最佳化，能将你放在网页上的动画GIF图档减肥，以便让人能够更快速的浏览网页。
http://www.crsky.com/soft/4010.html