Pinguino is an Arduino-like board based on PIC microcontroller. The hardware is based on a PIC 18F2550, which has an integrated USB module. This is the same chip we used in the USB IR Toy.
The IDE is built with Python. An integrated preprocessor translates Arduino specific instructions directly to C. It uses SDCC as its C compiler and GPUTILS as the assembler.