Python middleware to convert GIFs to HTML5-compatible videos. - View it on GitHub