A web app for creating animated GIFs from Desmos graphs - View it on GitHub