What is one who, or that which, strips; specifically, a machine for stripping cards called?

stripper — One who, or that which, strips; specifically, a machine for stripping cards. (Webster's 1913.)

Sources