Мне интересно, есть ли какие-нибудь библиотеки для чтения живого MIDI-ввода с USB-устройства и перевода этих данных в дружественный к сети формат, такой как JSON.Я сталкивался с несколькими, которые могут читать MIDI-файлы, но это должно быть непосредственно с USB-устройства.Не нужно генерировать звук, только данные с устройства MIDI.В конечном итоге цель состоит в том, чтобы передавать живые данные MIDI через WebSockets.Я сталкивался с Pygame, но я не уверен, что это поможет.Есть предложения?