un qualsiasi programma che salvi in gif animato...
quindi o catturi i singoli fotogrammi dal filmato e poi li monti nella gif, oppure, salvi direttamente il filmato in gif animata...
(ad esempio Corel PhotoPaint gestisce filmati avi che puoi salvare direttamente in gif...)