This might come as a surprise to you, but yes, the very popular VLC Media Player ... GIF speed to 10%, 100%, etc., and set the output size. Hope you like these video to GIF maker tools.