The RPi.GPIO Python library is standard for programming the Raspberry Pi's GPIO pins, but GPIO Zero is arguably better.