ffmpeg
gif
$ ffmpeg -i some.mov -crf 35 -vf "fps=10,scale=800:-1" output.gif
mp4
$ ffmpeg -i input.mov output.mp4