Web-MIDI events and messages with the W3C standard API

https://github.com/francoisgeorgy/web-midi-events

The W3C Web-MIDI API is documented at https://webaudio.github.io/web-midi-api/.

Events:

MIDI connections events and informative messages about what the application is doing.

Inputs (MIDI sources):

Show the MIDI ports given by inputs.values() of the web-midi instance.

Outputs (MIDI targets):

Show the MIDI ports given by outputs.values() of the web-midi instance.

MIDI messages:

Show the messages events generated by the inputs ports of the web-midi instance.