Sign in
Ctrl K
HIFIS Software Spotlights
Browse all Spotlights

All software

0Filters
Keywords
717
Program languages
115
Licenses
62
1-12 of 339
Cover image 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
9313
Cover image for ComplexHeatmap

ComplexHeatmap

Complex heatmaps are efficient in visualizing associations between different sources of data sets and revealing potential patterns. Here the ComplexHeatmap package provides a highly flexible way to arrange multiple heatmaps and supports various annotation graphics.

  • bioconductor
  • Clustering
  • Data Science
  • + 3
  • R
  • CSS
1
7480
Cover image for maftools

maftools

maftools is a comprehensive toolkit for processing somatic variants from cohort-based cancer genomic studies

  • cancer
  • Classification
  • Data analysis
  • + 14
  • R
  • C
  • CSS
1
3166
Cover image for circlize

circlize

Circular layout is an efficient way for the visualization of huge amounts of information. The circlize package provides an implementation of circular layout generation in R.

  • Data analysis
  • Data Science
  • Data Visualization
  • + 3
  • R
1
3088
Cover image 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
2098
Cover image 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
  • Omics
  • + 1
  • Python
  • JavaScript
  • HTML
  • + 5
0
1983
Cover image for REMix

REMix

REMix is a powerful software for energy systems optimization. It can be used for the planning and techno-economical assessment of future multi-energy systems of any spatial, temporal and technological scope. REMix offers a wide range of methods and features that can be flexibly selected by the user.

  • Energy
  • Energy planning
  • ESD
  • + 5
  • GAMS
  • Python
  • Dockerfile
18
1573
Cover image 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
    2
    1557
    Cover image for ODV

    ODV

    Ocean Data View (ODV) - Interactive exploration, analysis and visualization of oceanographic and other environmental data.

    • Data analysis
    • Data Visualization
    • Earth & Environment
    • + 1
      2
      1429
      Cover image for KeY

      KeY

      KeY is a deductive verification system for Java programs

      • Deductive Verification
      • First-Order Logic
      • Formal Verification
      • + 3
      • Java
      • HTML
      • ANTLR
      • + 14
      30
      1000
      Cover image for ETHOS.FINE - Framework for Integrated Energy System Assessment

      ETHOS.FINE - Framework for Integrated Energy System Assessment

      ETHOS.FINE provides a framework for modeling, optimizing and assessing energy systems. Systems with multiple regions, commodities and time steps can be modeled. Target of the optimization is the minimization of the total annual cost while considering technical and environmental constraints.

      • Energy
      • Energy planning
      • ESD
      • + 6
      • Python
      • Dockerfile
      2
      789
      Cover image for Palladio

      Palladio

      Palladio is a software architecture simulation approach which analyses software at the model level for performance bottlenecks, scalability issues, reliability threats, and allows for subsequent optimisation.

      • Component-Based Software Engineering
      • Information
      • Modeling
      • + 3
        3
        750