I run Linux Mint. I've installed MuseScore. That has an abc converter that so far has worked well. I've had problems with Midi playback on Linux over time but MuseScore plays back OK. Make sure you get version 2, though

MuseScore is available for Windows and Mac as well. It's open source and available for free. https://musescore.org