Digilent is soon to be launching two Arduino compatible platforms, the Uno32(pictured above)and the Max32. based on microchip‘s pic32mx micro controllers. Following the Arduino philosophy of easy to use software and hardware, and not to mention the support structure already in place. they are both compatibly with existing shields.
The Arduino IDE has been rewritten, and used the GNU C Compiler. and are also programmable with the pickit3. Peripherals including USB otg, can, Ethernet MAC, 16 and 32bit counters,timers, with 128K/512K program space, 16k/128K ram. Capable of 80Mhz and 1.5DMIPS these are four times as powerful as the AVR based Arduinos. The hardware is open source, and uses the same existing high level libraries as previous Arduinos, allowing someone without any pic32 experience to start using these powerful processors.
Check them out at the MakerFair Microchip Booth.