All software
1Filter
Mentions
Keywords
23
Program languages
8
Licenses
5
12
1-2 of 2
Mallob
Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving
- automated reasoning
- High performance computing
- job scheduling
- + 2
- C++
- Shell
- Python
- + 3
1
22
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