What is the meaning of Sylvester?

A ratchet device for pulling out pit props.

alternative form of silvester

Source: wiktionary.org