I can not find any information in the library that contains cloud9 ui. I heard that he uses ui.ajax.org, but it looks much better than the ui.ajax.org examples. Is this true or is another library being used?
You can check the source code yourself:
https://github.com/ajaxorg ,
and yes ajax.org and cloud9 seem to be made by the same guys.