Kitty terminal has a lot of configurations for fonts. I beleive you can get down to adjustments for specific charecters. Idk if it uses the specific technology you are suggesting. But it is explained in the kitty.conf docs.
Oh man fonts for coding are such a huge thing. There are people making their own forks of so they have certain glyphs, or a line through the zero (or vice versa) or little changes to other specific chars.
Didnt they?