Bom dia, trabalho a algum tempo com players de mídias, suporto provavelmente todos os codec mencionados embora seria interessante ter um arquivo exemplo de cada um.
Não sei qual a sua aplicação mas boa parte dos meus clientes tem preferido usar um Raspberry PI e Linux (embora a maioria ainda usa PCs com Linux), posso fazer em Windows também mas como é muito mais trabalhoso o valor e o tempo são maiores, se tiver interesse gostaria de entender melhor como funcionam esses "scripts" que quer usar e qual o uso das portas serials, no Linux ha decadas esses conversores USB-Serial são suportados nativamente.
Att,
Daniel Nicoletti