Puns are a form of wordplay based on the meaning, sound, or spelling of a word or phrase, and are (unsurprisingly) the main focus of the BadPuns.com website.
This is a broad definition that covers a wide range of wordplay, and numerous words have been coined to define each individual form of wordplay.
See also: