FFV1, short for FF video codec 1 is a newer, less popular lossless video format, similar to that of CorePNG and SheerVideo.
The codec can use variable length coding or the more impressive arithmetic coding for entropy.
FFV1 is part of the broader FFmpeg project and is included in the popular codec pack ffdshow.
The encoder and decoder are free.
