convertir mp4 a gif

es posible convertir un video corto ( aprox 8 segundos) en un archivo gif ? por ejemplo: los míni videos de Twitter los puedo descargar pero quiero que se reproduzcan una y otra vez ... alguien sabe como ??? gracias !!!