Wikipedia defines "earworm" as "a catchy and/or memorable piece of music or saying that continuously occupies a person's mind even after it is no longer being played or spoken about"

Earworms app plays a random earworm from a curated collection.