We do not know of any libraries for our motor drivers for that platform. The basic interface for the driver board is pretty straight forward. If the PWM pin is high, the driver will send power to the motor and if it is low, the power will be disconnected. To drive the motor at less than full power, the PWM pin is toggled between high and low at a relatively high frequency (several hundred hertz to a few 10’s of kHz).
Changing the state of the DIR pin changes the direction of rotation of the attached motor when the PWM pin is high.
You can read more about the functionality of all the input and output pins on the motor driver in the “Pinout” section of the G2 motor driver’s product page.