A rounded, simplistic monospace font with digital-looking numbers and some special characters made for use with English or German language.
A (mostly) 3x4 pixel font for tiny rich text and math typesetting.
https://gurki.github.io/pixeltex/