FFMPEG is another. Any online video platform probably uses it.