theiaR: Download and Manage Data from Theia
Xavier Laviron · 2019
Provides a simple interface to search available data provided by Theia (), download it, and manage it. Data can be downloaded based on a search result or from a cart file downloaded from Theia website.