The ChipKit Max32 is a 32bit development environment compatible with Arduino hardware and software.  It gives you the ability to use Arduino shields (3.3v) and Arduino software, comes with its own IDE but also gives you the power of a MIPS 32bit, 80MHz processor.  Finally, a prototyping platform you wont grow out of.