4 tools, all free
Reduce video file size.
Convert between MP4, WebM, and MOV.
Convert a video clip to an animated GIF.
Cut a video to a specific start and end time.