GIF Maker Tool — классное, удобное и простое приложение, которое должен иметь каждый, кто занимается созданием GIF-анимаций. Программа достаточно гибкая. Она не просто конвертирует видео-файл в GIF, f позволяет редактировать и настраивать параметры видео, конвертации.

Lossless Photo Squeezer — профессиональный инструмент, позволяющий сжимать графику и фотографии в форматах PNG, JPEG и GIF, причем даже без потери качества. По крайней мере, так заявляет разработчик. На мой скромный взгляд, программа работает ровно так, как и должна. Сейчас ее можно получить бесплатно на itunes, поэтому каждый может скачать и убедиться.