Готовые библиотеки для генерации видео называются - внезапно - кодеками. Вот например почему бы не упомянуть
x.264. Есть и куча других. Т.к. почти все они пишутся на C/C++, из этих языков ими наиболее удобно пользоваться.
Также нужно упомянуть
FFmpeg как более общее и комплексное решение. Лучше наверное даже на него сначала посмотреть.