GIF (Graphics Interchange Format, que se pode traduzir como "formato para intercâmbio de gráficos") é um formato de imagem de mapa de bits muito usado na world wide web, quer para imagens fixas, quer para animações.