PIC32 is a family of 32-bit microcontrollers made by Microchip Technology. They contain a MIPS32 core, developed by MIPS Technologies.