Free online GIF scaling tool, supports proportional scaling or specified size scaling, batch processing, all processing is done in the browser.
You may also need the following related tools:
