Gifs
From charlesreid1
ffmpeg
You can use ffmpeg to convert videos to gifs. Here's a hairball of an ffmpeg command:
ffmpeg -t 2.5 -i 2muchcoffee4me-996049204148453376-20180514_082650-gif1.mp4 -filter_complex "[0:v] scale=480:-1,split [a][b];[a] palettegen [p];[b][p] paletteuse" 2muchcoffee4me.gif
makes the color palettes look nice.