Is there a Python or C library for accessing GPIO pins on the Fire3 ?

Thanks