Convert any video file to an optimized animated GIF. - View it on GitHub