EncodeHD is a an application to re-encode all types of video files for use on your home media player or on-the-go device. It is a free and open source video converting application that's light on system resources, portable and well-designed.
Here are some screenshots to illustrate the features and user interface of this application: