[doobedoobedo]

Doesn't teensy use the horrible Arduino IDE?

ARM > AVR. The problem with microcontrollers is that there are so many of them.

I think what the OP wants is someone with some electronics and MCU knowledge to do some data logging, display and control a generator based on SOC of the battery.

 

[doobedoobedo]

I've tried MBed, it was OK.

I've used some NXP chips before (LPC11U35) and settled on their LPCXpresso eclipse based IDE. It actually wasn't too hard to port my Arduino code to use LPCOpen. Bonus of a massive speed advantage over AVR.

With ARM there's just such a wide choice. Pick whichever manufacturer or platform you feel comfortable with, there's bound to be something with the features you want.