Tienes xjadeo que es un reproductor de video desarrollado para sincronizar con jack y por tanto con ardour rosegarden o cualquier otro secuenciador o DAW
Creo que eso es básico y lo debería hacer cualquier editor de video, kdenlive es muy usado y simple. Mi pregunta es: ¿el audio proviene de el micrófono de las cámaras o es un archivo de audio separado? Si es un archivo de audio independiente sería simple, si lo que querés es usar el audio de las cámaras, te recomiendo que primero elijas cuál de los dos vas a usar, exportes el audio y luego te dediques a hacer coincidir los videos con el audio (en la lńea de timpo vas a tener tres archiveso, un audio y dos de video. Un consejito, los cortes hacelos coicidir con el golpe del ritmo así no quedan tan evidentes.
Saludos