Ctrl KSoftwareProjectsOrganisationsSign in Ctrl KLimited functionality: Your browser does not support JavaScript.HIFIS Software SpotlightsBrowse all SpotlightsAll software1FilterClearOrder byMentionsOrder byKeywords23Program languages10Licenses5121-2 of 2MallobAutomated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Provingautomated reasoningHigh performance computingjob scheduling+ 2C++ShellPython+ 5112TomoBEARTomoBEAR is an open-source configurable and customizable modular pipeline for streamlined and parallelized processing of large-scale cryo-electron tomography data for subtomogram averaging.Alignmentautomated reasoningcluster+ 16MATLABMPython+ 144
