Ti serve solo un programma,
VirtualDub:
1) Salvi la cattura come video AVI da aprire con Virtuldub.
2) Se necessario tagli le parti del video che non desideri.
3) Nel menu Video scegli Filters e aggiungi il filtro Resize per ridimensionare il video, ad es. al 5-6%, dipende dalle dimensioni iniziali del video.
4) Nel menu File scegli Export->Animated GIF e salvi la gif animata.