Processing power is a complex measure. The ODROID ARM 5 is 1.57 DMIPS/MHz, while the ARM 7 in the RPi2 is 1.9. The frequency difference still gives a definite edge to the ODROID, but there are other advantages. The GPU, for example, is significantly more powerful on the ODROID, and it also supports many more codecs, and the CODEC licenses are included. RPi is unable to include codec licenses. The amount of ram is the same for both boards, but the ODROID has double the clock speed.
I was excited about the wolfram offerings, though I'm primarily a user of wolfram alpha, and I found out their mathematica integration had been pared down to the dwindling features I could already access from the website. Windows 10 is pretty impressive, but RPi has android, which RPi has no interest in at all.
There's a lot of reasons to go either way. For a set top box, or anything primarily for graphics or networking, ODROID is the clear winner. I'll note that I was investigating the chipsets for both boards, and while the ODROID has a dedicated gigabit ethernet Realtek RTL8211F chip, the RPi2 uses a USB to ethernet bridge, which means that the ethernet performance is limited by the USB controller, and the USB bandwidth can suddenly tank on a network. Also, there's no appreciable buffer for the RPi, so if you're sharing USB with something like a webcam, you'll be dealing with periodic TCP drops when your buffer fills up and you can't respond in a timely manner.
There's some minor advantage in using the RPi 2 for things using GPIO, unless you need ADCs and don't want to build a board to hook them up over I2C.
Also, while the ODROID dev community is smaller, it's still there. It is superior hardware all around, and it was out long before the RPi2.
I figured I'd support and educate about the competition, since that leads to better boards and better offerings all around.