Old Nick
This has been a nickname (no connection or pun) for the Devil since the 17th century but the origin or association with the name Nick remains unknown. Nick, of course, is the diminutive of Nicholas but, in the words of the OED, “no reason for such an application is known”.