chipKIT Uno32™ Arduino™-Compatible Prototyping Platform
The Uno32 is an Arduino-compatible platform combining Arduino compatibility with the performance of the Microchip PIC32 microcontroller -- core running at 80Mhz, 128K of flash program memory and 32K of SRAM data memory. The Uno32 is the same form factor as the Arduino Uno board and is compatible with Arduino shields.
The Uno32 hardware has a May 21, 2011 commercial release date and lists for $26.95. More info is available from Digilent.