(1) BULL is the earliest hangman whose name survives (about 1593).
(2) JOCK SUTHERLAND.
(3) DERRICK, who cut off the head of Essex in 1601.
(4) GREGORY. Father and son, mentioned by Sir Walter Scott (1647).
(5) GREGORY BRANDON, (about 1648).
(6) RICHARD BRANDON, his son, who executed Charles I.
(7) SQUIRE DUN, mentioned by Hudibras (part iii. c. 2).
(8) JACK KETCH (1678) executed Lord Russell and the Duke of Monmouth.
(9) ROSE, the butcher (1686): but Jack Ketch was restored to office the same year.
(10) EDWARD DENNIS (1780), introduced as a character in Dickens's Barnaby Rudge.
(11) THOMAS CHESHIRE, nicknamed “Old Cheese.”
(12) JOHN CALCRAFT; MARWOOD; BERRY; etc.
(13) Of foreign executioners, the most celebrated are Little John; Capeluche, headsman of Paris during the terrible days of the Armagnacs and Burgundians; and the two brothers Sanson, who were executioners during the first French Revolution.
Hudibras, under the name of Dun, “personates” Sir Arthur Hazelrig, “the activest” of the five members impeached by King Charles I. The other four were Monk, Walton, Morley, and Alured.
Source: Dictionary of Phrase and Fable, E. Cobham Brewer, 1894