Explore projects
-
Updated
-
Updated
-
-
-
Updated
-
-
Updated
-
Updated
-
-
Updated
-
-
-
Docker wrapper script for executing "profiles" - pre-configured execution environments for containers. Main goal is to provide a wrapper script for users who use docker to run interactive tools and streamline the workflow.
Updated -
-
-
Updated
-