"cross-platform" is interesting. I've been using Keyboard Maestro on MacOS (highly recommended, it does a lot of useful stuff) and this, in combination with UHK

"cross-platform" is interesting. I've been using Keyboard Maestro on MacOS (highly recommended, it does a lot of useful stuff) and this, in combination with UHK keyboards (https://ultimatehackingkeyboard.com https://ultimatehackingkeyboard.com) and their switchable keymaps, has been working well for me so far. But, getting something like Keyboard Maestro on Linux would be quite useful indeed.