Powerful SBC for Uni

Okay so I am looking at getting a decent Single board PC for programming, I will mostly be doing Java and Python, so nothing to major, but I was wondering if a ARM SoC will be able to do programming and compiling in a decent amount of time.

I was looking at the ODroid C1, Wouldnt mind the XU3, but its a little out of price range, and I am unsure how much performance 4 extra cores will add, and if the big.Little is clustered or in-kernel.

 

Would the C1 be a decent pickup? Link is below if you don't know its specs.

http://hardkernel.com/main/products/prdt_info.php

 

Thanks!