Microchip sell a variety of development boards to cover a broad set of applications. A range of boards are available from the Microchip Direct website with a range of features including graphics, high quality audio, touchscreen, USB, ethernet and wireless networking.
Details on some of the Microchip development boards containing a MIPS 32bit M4K core can be found on our blog.
PIC32 USB Starter Kit
PIC32 MX1/MX2 Starter Kit
Microchip Direct
PIC32 Development Tools
PIC32 Resources
Chipkit
PIC32 Audio Development Board
PIC32 Application Libraries