Konwerter GIF na PPM

GIF (Graphics Interchange Format) został wprowadzony przez CompuServe 15 czerwca 1987 roku jako niezależny od platformy format obrazów do przesyłania grafiki kolorowej przez połączenia modemowe serwisu CompuServe. Format wykorzystuje bezstratną kompresję LZW (Lempel-Ziv-Welch) na obrazach z indeksowanymi kolorami z paletą do 256 kolorów wybranych z 24-bitowej przestrzeni kolorów RGB. Najbardziej wyróżniającą cechą GIF-a jest animacja: wiele klatek obrazu może być przechowywanych sekwencyjnie w jednym pliku, każda z niezależnym czasem opóźnienia, metodami usuwania i lokalnymi paletami kolorów, umożliwiając krótkie, zapętlone animacje bez potrzeby stosowania kodeka wideo czy odtwarzacza. Format obsługuje również przezroczystość binarną (jeden wpis palety wyznaczony jako w pełni przezroczysty) oraz wyświetlanie z przeplotem dla progresywnego renderowania. GIF stał się synonimem kultury internetowej — animowane GIF-y rozprzestrzeniły się po wczesnych stronach internetowych, platformach komunikacyjnych i mediach społecznościowych, ewoluując w samodzielne medium komunikacji. Jedną z zalet jest uniwersalna obsługa animacji — animacje GIF odtwarzają się natywnie w każdej przeglądarce, kliencie poczty, aplikacji do wiadomości i platformie społecznościowej bez wtyczek, kodeków ani problemów z kompatybilnością — poziom wszechobecności, jakiego żaden inny format animacji nie osiągnął. Bezstratna kompresja obrazów paletowych to kolejna mocna strona: grafiki z płaskimi kolorami, tekstem i ostrymi krawędziami kompresują się wydajnie bez artefaktów typowych dla JPEG. Choć patenty LZW wygasły w 2004 roku, a nowsze formaty jak WebP i AVIF oferują lepszą kompresję z pełnokolorową animacją, kulturowe zakorzenienie GIF-a czyni go niezastąpionym dla nieformalnych treści animowanych.