RedKetchup
GIF Converter
About RedKetchup - Online GIF Converter
Convert animated GIFs to MP4 videos online.
Make animated GIFs from video files.
Convert MP4, MPEG, AVI, MOV, WMV, MKV, or WebM videos to GIF.