Edit: [I wrote this when the default layout was EN-US/INT and that was the only US keyboard layout. Now the default layout has changed to ABC/X16 (ABC Extended from macOS), and that largely solves the problem that common keys in programming were dead keys. Now I think that EurKEY could be added rather than replace EN-US/INT.]
It says in the manual that EN-US/INT in ISO mode is "United States - International". This could be EurKEY instead:
https://eurkey.steffen.bruentjen.eu/https://en.wikipedia.org/wiki/EurKEY
In the case where a character doesn't exist one could replace it with an unused one from ISO-8859-15. One could ignore dead keys, unless that is to be implemented.
In Linux one can change to EurKEY using:
setxkbmap eurkey
setxkbmap eu
If one uses US International then us(altgr-intl) might be a better alternative [English (intl., with AltGr dead keys)], since it doesn't interfere with the normal working of e.g. ` ~ ' " ^.
https://en.wikipedia.org/wiki/QWERTY#US-International
In Linux one can change to US AltGr-intl using:
setxkbmap us altgr-intl
Edit: [I wrote this when the default layout was EN-US/INT and that was the only US keyboard layout. Now the default layout has changed to ABC/X16 (ABC Extended from macOS), and that largely solves the problem that common keys in programming were dead keys. Now I think that EurKEY could be added rather than replace EN-US/INT.]
It says in the manual that EN-US/INT in ISO mode is "United States - International". This could be EurKEY instead: https://eurkey.steffen.bruentjen.eu/ https://en.wikipedia.org/wiki/EurKEY In the case where a character doesn't exist one could replace it with an unused one from ISO-8859-15. One could ignore dead keys, unless that is to be implemented.
In Linux one can change to EurKEY using: setxkbmap eurkey setxkbmap eu
If one uses US International then us(altgr-intl) might be a better alternative [English (intl., with AltGr dead keys)], since it doesn't interfere with the normal working of e.g. ` ~ ' " ^. https://en.wikipedia.org/wiki/QWERTY#US-International In Linux one can change to US AltGr-intl using: setxkbmap us altgr-intl