Libraries to make working with PIC32 and chipKIT easier