Pinguino is an Arduino form-factor compatible system, which means you can use the various available Arduino shields (add-on boards) with this board. Pinguino uses Python instead of Java for its processing language, and is much more flexible. It is not limited to the 8-bit AVR microcontroller of Arduino. The open-source Pinguino IDE has GCC in the background and can support 8-bit PIC, 32-bit PIC32 (MIPS) and ARM7/Cortex-M3 microcontrollers. You can migrate your project easily between the different hardware platforms.
This board also is supported now by MPIDE. See below for links to the firmware and library.
The PIC32-Pinguino board uses a PIC32MX440F256H 80MHz processor with 256K Flash and 32K RAM. It also takes Pinguino a step further, addressing issues brought up by Arduino and Pinguino users, and implementing features that have been on Arduino users' wish lists for years: