Oh I actually made a compact font too, but it's 7x13 (most characters are 5px wide). Don't have a name for it yet. The first version was bitmap, but at some poi

Oh I actually made a compact font too, but it's 7x13 (most characters are 5px wide). Don't have a name for it yet. The first version was bitmap, but at some point I figured out how to make macOS render vector fonts pixel-perfectly and so made a vector version too. My way of making it is questionable too — I drew characters as SVGs (because font editors suck way too much) and wrote a php script to convert them to an .sfd file that I could then open in FontForge and export in whatever format I want.