A free program for Android, by Rowan Saturnin.

Video Compressor is a handy utility that will allow you to shrink the size of your video files by significantly reducing their quality. You can choose between three compression rates, ranging from low to high quality. The application supports many input formats, including MP4, AVI, MOV, WMV, 3GP, GIF, and more. To compress a video, first, add it to the app, then select a compression rate under the “Compression Power” area. Touch the “Dimensions” box to adjust the dimensions of the video. After you’ve decided on a compression rate and dimensions, press the “Start Compressing” button to begin compression. Try it now!