FEZ HAT and Linux

Can you please let me know if a library for Python 3.4 exist? I search here:

for this one and could not find it:

[quote]Raspberry Pi Model B+Raspberry Pi 2
After you install NOOBS/Raspbian you can use the library from Adafruit’s 16-Channel PWM/Servo HAT [/quote]

Thanks