jQuery is available globally using the variable jQuery. They used to have jQuery UI loaded as well but that was removed a couple releases ago. You can also use Ext.js but it's also an antiquated version, and of course all at your own risk because they don't give any promises about the libraries being available.