Very nostalgic for someone who grew up with an Atari 800XL!
Also shows how much creativity is possible even within severe constraints - there are many fonts there that have real "character" (pun intended).
The originals were all 8x8 bitmap fonts with no extra leading. If these are true to the original, then, any multiple of 8px in height should work for you.
Unfortunately, the specimens are rendered with a larger leading than would have appeared on the original systems; if that’s part of the font specification, you’ll have to experiment some.
Some of these (where the lowercase letters have been used for symbols) would make a nice puzzle where you have to "decode" the font name, but unfortunately the name is in the filename of the example PNGs, e.g. https://raw.githubusercontent.com/TheRobotFactory/EightBit-A...