These tools have not yet been wrapped for Galaxy and published in the Main Tool Shed. However, they could be. A request to wrap tools can be made in Github or if you have the resource, wrapped and donated to the Tool Shed.
(Note that the existing wrapper for SNAP, donated from the community in the Tool Shed, does not appear to be usable).
Thanks, Jen, Galaxy team