Depending on your use case WebM is also worth considering as an alternative to gif. Again, ffmpeg anything -> anything has you covered.