Yes, there's python3-libsoc which should support the RPi.
libsoc uses the old, deprecated sysfs interface to access GPIO resources
from user space. I wrote a Python module to use the newer, file
descriptor ioctl interface. See:
http://ryniker.org/raspberrypi/Fedora/gpiofd.py
I welcome reports of problems, or suggestions for improvement.