Sign in
Ctrl K
HIFIS Software Spotlights
Browse all Spotlights

All software

1Filter
Keywords
23
Program languages
9
Licenses
5
1-2 of 2
Logo for Mallob

Mallob

Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving

  • automated reasoning
  • High performance computing
  • job scheduling
  • + 2
  • C++
  • Shell
  • Python
  • + 4
1
17
Logo for TomoBEAR

TomoBEAR

TomoBEAR is an open-source configurable and customizable modular pipeline for streamlined and parallelized processing of large-scale cryo-electron tomography data for subtomogram averaging.

  • Alignment
  • automated reasoning
  • cluster
  • + 16
  • MATLAB
  • M
  • Python
  • + 1
4
4