Ctrl KSoftwareProjectsOrganisationsSign in Ctrl KLimited functionality: Your browser does not support JavaScript.HIFIS Software SpotlightsBrowse all SpotlightsAll software1FilterClearOrder byOrder byKeywords22Program languages10Licenses5121-2 of 2MallobDecentralized job scheduling platform for HPC and cloud environments, featuring an award-winning distributed engine for automated reasoning (SAT solving)automated reasoningHigh performance computingjob scheduling+ 1C++ShellPython+ 515TomoBEARTomoBEAR 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