C++, using VCL [ http://en.wikipedia.org/wiki/Visual_Component_Library ], unfortunately. A port would largely be a rewrite of the entire GUI bit. The rest is fairly portable, except it assumes some things about how the arduino install is structured.
It's not my project, but the source files are C++: