Where can I find a browser based editor for python that works with IE7?

I'd like to get some code editing for a free software project done during some free time that I will have today at my university. There's just one small problem: We're almost entirely a windows environment (mostly thin clients at that) and the only source code editor installed is jGRASP.

So, I need a source code editor 开发者_如何学JAVAwhich is usable without installing anything (something browser, or Java Web Start based). I would use Notepad++, but I think downloading and running some unapproved exe may be in violation of our acceptable use policy, and it isn't that efficient of an editor for python anyway.

Any suggestions are appreciated.

The best webbased editor I know is Ace.

If you can't execute downloaded exes, this maybe mute, but SciTe is reasonably useable and does not require you to install anything - just download and run.

Putty and vim would be my solution (Requires a remote host running 'nix)

Putty is obviously a 3rd party binary, but a fairly common one.

I'm sure there are web based ssh clients to be had.