Sim claro que existe.
Tem muitos programas capazes disso e distintas formas desde linha de comando a meio gráfico.
Tem o programa Kdenlive, avidemux, openshot, pitivi...
Eu sugiro o Openshot é o que eu mais uso e é bastante intuitivo
Arraste o vídeo escolha para converter adicionando a extensão desejada.