I purchased a chipkit-pi (pic32 arduino clone) before christmass , free ide based on the arduino ide and said to arduino compatible-ish .worth a look I thought .
well its not really "compatible " and has very few libs for it . nice colour (might turn it into a micromite )http://geoffg.net/micromite.html

too much like hard work .its firmly into the too hard basket (with the stm32f4-discovery) for now