PIC32MZ are MIPS based, not quite what you want but close.
Arguably the Cortex-M0+-based D10 isn't really comparable to the PIC32, but that's sort of the point. No Arduino-sized community is going to develop around an architecture with a $50 minimum entry point... Maybe I should stop complaining about it and try to fix it :-)