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:

Asteismus
Antanaclasis
Paronomasia
Syllepsis
Spoonerism