Ask HN: Niche high-tech software companies?

I'm interested in small software companies that sell highly specialized software. Examples from the top of my head would be Hex-Rays (selling a disassembler and decompiler) and AbsInt (selling static analysis software and a formally-verified C compiler).