Allen

masc. proper name and surname, variant of Alan (q.v.). In reference to a wrench, key, screw, etc. with a hexagonal socket or head, 1913, from the Allen Manufacturing Company of Hartford, Connecticut, U.S.