More specifically - a timing pulley - used for translating rotational motion into precise linear motion. The pitch of the belt and the number of teeth on the pulley defines the resolution.