The Animated GIF Maker app allow users to upload a video file and the app will convert it to an animated GIF.
The app also allow the user to adjust various parameters of the video conversion process such as the number of frames per second, the time frame to export the video, the speed of the export, etc.
Please check it out here