FFmpeg is a wrapper program for a lot of video and audio libraries. It allows the user to easily encode, transcode, whatever you want to call it, video to other formats.
It runs on many main-stream platforms: BSD, Linux, Windows etc. Source and binaries are available.
Populair formats to get your video’s in are: MKV (720p and [...]