keypunch

A mechanical device whose keys are pressed, individually or in combination, to punch holes in punched cards or paper tape that correspond to particular characters.

An electric machine with a keyboard that has the same function.

To use such a device or machine