Huh, I thought they wrote in Java and compiled it to JavaScript? Searching, I'm thinking of GWT - https://en.m.wikipedia.org/wiki/Google_Web_Toolkit - and it seems like a good candidate for Google Docs.