What kind of file has a name that end with gif?

.gif is one of many image supporting file formats. So if you have a .gif reading application you'll see pictures, often in motion.

Another popular image supporting format is .jpg. My personal experience is that files with .jpg extension tend to be larger (longer) than the .gif files.