The word "gif" now means both the format GIF, and also any generic short, looping video on the Internet. As a result, you can just use a webm or other format, as Gfycat does, since it's highly compressible and no viewer actually cares about the underlying format, only the content.