A lightweight Gradio app for converting MIDI files to high-quality WAV files.