Hopper https://www.hopperapp.com/ Is not so bad for low level debugging (à la IDA). The symbols are not demangled however. I've recently used it to check a call to SDL in a D app: https://imgur.com/a/vsJiu The integrated debugger is actually using GDB (at least on linux).