These file extensions are not video files because they are in
fact not a video. The files saved to .gif are animations. Most are
of lower quality and are not much longer then a few seconds.
View page
You need a Rippers & Converters tool.
View page
Here is Video Converter Max that can convert your video
files
View page
KMPlayer video filters for .rm files can be downloaded on the
internet.