Ctrl K

Limited functionality: Your browser does not support JavaScript.

HIFIS Software Spotlights

Browse all Spotlights

All software

1Filter

Order by

Keywords

191

Program languages

Licenses

Items

1-12 of 62

QUAST

QUAST is a state-of-the-art tool for (meta)genome assembly evaluation, computing over 50 quality metrics and presenting results in plain text, static plots, and interactive HTML reports.

Data Visualization
FAIR Software
Genome assembly
+ 4

AMPL
C++
Python
+ 12

10240

CP2K

CP2K is a quantum chemistry and solid state physics software package running on graphics processing units and thousands of processing units. It is open-source and allows simulations, spectroscopy, vibrational analysis and energy minimization on a vast variety of theory levels.

electronic structure
GPU
High performance computing
+ 5

Fortran
C
Python
+ 13

2657

anvi'o

anvi'o is an open-source software platform for microbial 'omics research enabling analysis and visualization of 'omics data. In development since 2014, it is currently being maintained by the Ecosystem Data Science group at the Helmholtz Institute for Functional Marine Biodiversity.

Data analysis
Data Visualization
Metagenomics
+ 4

Python
JavaScript
HTML
+ 5

2274

KeY

KeY is a deductive verification system for Java programs

Deductive Verification
First-Order Logic
Formal Verification
+ 3

Java
HTML
ANTLR
+ 15

1020

ASPECT - The Advanced Solver for Planetary Evolution, Convection, and Tectonics

ASPECT is a code to simulate convection and tectonic processes in the Earth and other planetary bodies. It has grown from a mantle-convection code into a tool for many geodynamic applications, like glacial isostatic adjustment, lithospheric scale deformation, ore formation and two-phase flow.

C++
CFD
Computational Fluid Dynamics
+ 6

C++
Python
CMake
+ 10

500

DataLad

DataLad is a tool for the joint management of code, data, and their relationship, built on top of the version control systems Git & git-annex. It adapts principles of open-source software development & distribution to address challenges of data management, data sharing, & digital provenance capture.

DataLad
data managment
data sharing
+ 8

Python
Shell
Makefile
+ 4

495

Score-P

Score-P provides insight into massively parallel HPC applications, their communication, synchronization, I/O, and scaling behaviour to pinpoint performance bottlenecks and their causes.

hpc
Information
instrumentation
+ 5

C
Fortran Free Form
C++
+ 2

494

PDAF

PDAF - the Parallel Data Assimilation Framework is a software framework for interdisciplinary data assimilation. PDAF provides support for ensemble modeling and fully implemented data assimilation methods to merge models and observational data which let models learn from observations.

Atmospheric science
data assimilation
Earth & Environment
+ 9

Fortran
Shell
Makefile
+ 4

375

JURASSIC

The Juelich Rapid Spectral Simulation Code (JURASSIC) is a fast infrared radiative transfer model for the analysis of atmospheric remote sensing measurements.

Atmospheric science
Climate
Earth & Environment
+ 5

C
Shell
Makefile
+ 1

220

MIRP

MIRP is a python package for quantitative analysis of medical images. It focuses on processing images for integration with radiomics workflows. These workflows either use quantitative features computed using MIRP, or directly use MIRP to process images as input for deep learning models.

Medical Image Processing
python
radiomics

Python
Jupyter Notebook
R
+ 2

218

AROSICS

AROSICS is an automated and robust open-source image co-registration software for multi-sensor satellite data.

Earth & Environment
Fourier Shift Theorem
Geometric Pre-processing
+ 8

Python
Makefile
Shell

213

GOLEM

GOLEM is a modelling platform for thermal-hydraulic-mechanical and non-reactive chemical processes in fractured and faulted porous media, based on the MOOSE framework

Earth & Environment
Multiphysics of porous fractured rocks
reservoir behaviour and induced seismicity
+ 1

C++
SWIG
Assembly
+ 5

147