Convert videos to high-quality GIFs. It converts videos to GIF animations using fancy features for efficient cross-frame palettes and temporal dithering. It produces animated GIFs that use thousands of colors per frame.