A high-quality animated GIF converter. Uses lossy compression and temporal dithering to make the best of the GIF format’s palette-based color system.