FFmpeg is a comprehensive tool that can be used for almost any programmatic video manipulation like cropping, clipping, resizing, convert to different video formats, ...