Ctrl K
HIFIS Software Spotlights

All software

1Filter
Keywords
209
Program languages
89
Licenses
24
1-12 of 64
Logo for QUAST

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
4
12024
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
3527
Logo for anvi'o

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
6
2527
Logo for KeY

KeY

KeY is a deductive verification system for Java programs

  • Deductive Verification
  • First-Order Logic
  • Formal Verification
  • + 3
  • Java
  • HTML
  • ANTLR
  • + 15
36
1060
Logo for ASPECT - The Advanced Solver for Planetary Evolution, Convection, and Tectonics

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
8
549
Logo for Score-P

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
  • M4Sugar
  • + 2
40
530
Logo for DataLad

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
61
527
Logo for PDAF

PDAF

PDAF - the Parallel Data Assimilation Framework is one of the most widely used a software frameworks for 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
  • Makefile
  • Python
  • + 3
5
393
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
246
Logo for MIRP

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
3
241
Logo for JURASSIC

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
2
225
Logo for FlexiGIS

FlexiGIS

FlexiGIS is a software tool for processing and analysing GIS-based data to design urban energy systems. Models developed with FlexiGIS enable the exploration and assessment of flexibility options in cities.

  • Data analysis
  • Energy
  • Energy planning
  • + 4
  • Python
  • Makefile
2
202