Yes, DivX is a popular video codec used for compressing large video files without losing quality.