サーバーでの機械学習とかレイトレとかで, プレビューや中間の結果などを動画にしたい(連番画像を lossy 圧縮した感じでよい). サーバー上で作りたい. なるべくポータブルにやりたい.

ffmpeg とかめんどい(あと特殊なアーキテクチャのマシンで動かしているとかで ffmpeg とか動かない/コンパイルできないなど)

gif だとファイルサイズ大きいし...

mpeg などを考えます.

mpeg1

jp_mpeg があります

AVI