Funfact: PQ is short for toilet paper in French So libpq always cracks me up. But then again there's a theorem prover called Coq (which is indeed pronounced as you imagine, it means rooster) and it's been named by French researchers at INRIA!

libcaca, also french: http://caca.zoy.org/

Ok, let's talk about this... pico, the editor and SI prefix, means "dick" in at least some Spanish-speaking countries... Source of endless nerd jokes.

Not to mention the (un)surprisingly low sales in spanish speaking countries of the car known as the Vauxhall Nova ...

As an American, I feel like I have to deliberately mis-pronounce 'coq' the theorem prover like 'coke' the soda.

Same. It really doesn't help that their logo is skin-colored and the shape that it is...