[strongly-typed]

And for keyboard remapping on macOS there’s GokuRakuJoudo: https://github.com/yqrashawn/GokuRakuJoudo

[aredirect]

How did they come up with that name xD

[karateka]

It's a Japanese phrase related to Buddhism: https://jisho.org/search/gokurakujoudo

Of course they also might just be a fan of J-Pop https://en.wikipedia.org/wiki/Gokuraku_Jodo