GIFからPPMへのコンバーター

GIFは、画像交換のための形式であり、一般的なグラフィック形式です。圧縮されたデータを画質を失わずに256色以内で保存することができます。GIF形式は、1987年（GIF87a）にCompuServe社によりネットワークを通してラスター画像を転送するために開発されました。この形式は1989年に変更され（GIF889a）、サポートの透明性とアニメーションが追加されました。

PPMは、次のような単純な画像保存形式です：カラー（PPM）、グレースケール（PGM）及び白黒（PBM）。これらの形式は、上記に挙げた3つの異なる種類のラスターイメージファイルを異なるプラットフォーム間で変換中に直ちにデータを再現することが可能です。PPM形式はジェフ・ポスカンゼロムにより開発されました。