A few basics facts about MIDI files and some resources to explore.

MIDI (Musical Instrument Digital Interface) is a technical standard that describes a communication protocol, digital interface, and electrical connectors that connect a wide variety of electronic musical instruments, computers, and related audio devices for playing, editing, and recording music. *https://en.wikipedia.org/wiki/MIDI

Here is a website that has a lot of information on MIDI file format: *https://midimusic.github.io/tech/midispec.html

---