GIF Animation Encoder Whilst technically not a video format, GIF allows the creation of short clips which play as a video when used on sites which do not allow videos. The modern equivalent is webp. GIF files are not efficient at encoding video, use with Preview Generator to create short animated images. Note also GIF files have no audio. Extension: .gif