Downloadable chipKIT core for use with Arduino 1.6x IDE and UECIDE
Multi-platform IDE derived version from Arduino 0022 for the chipKit.
The 'new' bootloader for MPIDE/chipKIT PIC32 boards
stk500v2 bootloader via builtin USB port for Pic32
Third party libraries designed to be compatible the pic32, and chipKit
PIC32 compiler for chipKIT