GBSX is available in Galaxy. The basic tools (restriction enzyme predictor, barcode generator and demultipexer) are available. This toolkit is available in the Galaxy Toolshed. Just ask your admin to add the GBSX plugin to your cloud install, or install it locally.