VLC Player is pretty codec agnostic, it can play back almost all of 'em. You'd need an actual editing program. I'm not aware of any good free ones. If you just need to re-encode them to something ...