Convertitore da GIF a PPM

GIF (Graphics Interchange Format) è stato introdotto da CompuServe il 15 giugno 1987 come formato immagine indipendente dalla piattaforma per trasmettere grafica a colori attraverso le connessioni modem del servizio online CompuServe. Il formato utilizza la compressione lossless LZW (Lempel-Ziv-Welch) su immagini a colori indicizzati con una palette fino a 256 colori selezionati da uno spazio colore RGB a 24 bit. La capacità più distintiva di GIF è l'animazione: più fotogrammi possono essere memorizzati in sequenza all'interno di un singolo file, ciascuno con temporizzazione indipendente, metodi di disposizione e palette colori locali, consentendo brevi animazioni in loop senza alcun codec video o player. Il formato supporta anche la trasparenza binaria (una voce della palette designata come completamente trasparente) e la visualizzazione interlacciata per il rendering progressivo. GIF è diventato sinonimo di cultura web — le GIF animate si sono diffuse sui primi siti web, piattaforme di messaggistica e social media, evolvendosi in un mezzo di comunicazione autonomo. Un vantaggio è il supporto universale all'animazione — le animazioni GIF vengono riprodotte nativamente in ogni browser, client email, app di messaggistica e piattaforma social senza plugin o problemi di compatibilità, un livello di ubiquità che nessun altro formato di animazione ha raggiunto. La compressione lossless su immagini basate su palette offre un altro punto di forza: grafica con colori piatti, testo e bordi netti (loghi, diagrammi, elementi UI) si comprime in modo efficiente senza gli artefatti che colpiscono JPEG. Sebbene i brevetti LZW che un tempo minacciavano l'uso di GIF siano scaduti nel 2004, e formati più recenti come WebP e AVIF offrano compressione superiore con animazione a colori pieni, il radicamento culturale di GIF lo rende insostituibile per contenuti animati informali.