Long-handled hammering tools with a heavy wooden or metal head, often specifically any of various special kinds of heavy hammering tools used in pile-driving, shipbuilding, and mining.