I love this. I was going to ask if there are any more fonts like this, and then I discovered https://erikdemaine.org/fonts/ what a treasure trove!