All HIFIS Software Spotlights

The Helmholtz Software Spotlights present outstanding software products that are developed and maintained in Helmholtz research centres. We want to raise awareness for the general importance of research software in academia, and present software that appeals equally to research, citizens, industry and politics.

Become a Spotlight
0Filters
Keywords
160
Program languages
54
Licenses
19
1-12 of 37
Logo for CORSIKA

CORSIKA

A Monte Carlo framework for the simulation of particle showers initiated in the Earth's atmosphere (or dense media) by high-energy particles from the cosmos.

  • Astroparticle Physics
  • Matter
  • Monte Carlo simulation
  • Fortran
  • C++
  • Nextflow
  • + 2
2
1672
Logo for CP2K

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
8
3166
Logo for FastSurfer

FastSurfer

FastSurfer is a fast and accurate deep-learning pipeline for the analysis of human brain MRI. FastSurfer provides a fully compatible FreeSurfer alternative for volumetric and surface-based thickness analysis, also supporting sub-mm resolutions, and sub-segmentation of neuroanatomical structures.

  • Data analysis
  • Deep Learning
  • Image processing
  • + 3
  • Jupyter Notebook
  • Python
  • Shell
  • + 1
10
259
Logo for CADET

CADET

CADET provides hierarchical models, efficient solvers and computational engineering tools for a range of biotechnological processes, including chromatography, filtration, crystallization, and fermentation.

  • adsorption
  • chromatography
  • compartment modelling
  • + 4
  • C++
  • CMake
  • C
  • + 2
15
311
Logo for Ginkgo

Ginkgo

Ginkgo is a high-performance math library for the solution of sparse linear systems on GPUs (AMD, Intel, NVIDIA). Ginkgo is implemented using modern C++ and provides preconditioned Krylov solvers, multigrid, sparse direct solvers, mixed precision, and batched functionality.

  • GPU
  • High performance computing
  • Large linear equation system
  • + 4
  • C++
  • CMake
  • Cuda
  • + 4
11
74
Logo for AROSICS

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
1
233
Logo for Earth System Model Evaluation Tool (ESMValTool)

Earth System Model Evaluation Tool (ESMValTool)

  • climate modelling
  • Data analysis
  • Earth & Environment
  • + 4
  • NCL
  • Python
  • R
  • + 7
89
279
Logo for openCARP

openCARP

openCARP is a multiscale cardiac electrophysiology simulator for in silico experiments ranging from single heart cells and cardiac tissue to organ models up to the body surface ECG.

  • computational cardiology
  • digital twin
  • electrophysiology
  • + 3
  • C++
  • Python
  • C
  • + 2
33
246
Logo for Kadi4Mat

Kadi4Mat

Kadi4Mat is a generic and open source virtual research environment.

  • Aeronautics, Space and Transport
  • Earth & Environment
  • Electronic Lab Notebook
  • + 9
  • Python
  • Vue
  • HTML
  • + 2
4
85
Logo for matRad

matRad

matRad is a dose calculation and inverse treatment planning toolkit for radiotherapy research and education written in Matlab.

  • Health
  • Medical Physics
  • Particle Therapy
  • + 2
  • MATLAB
  • TeX
  • C++
1
270
Logo for Millepede II

Millepede II

Millepede II has been developed to solve the linear least squares problem with a simultaneous fit of all global and local parameters, irrespectively of the number of local parameters.

  • Alignment
  • Large linear equation system
  • Matter
  • + 1
  • Fortran Free Form
  • C
  • Python
  • + 2
0
0
Logo for Tamarin Prover

Tamarin Prover

The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.

  • Cryptographic Protocols
  • Formal Verification
  • Information
  • Haskell
  • Python
  • JavaScript
  • + 10
0
0