Ctrl K
HIFIS Software Spotlights

All software

1Filter
Keywords
742
Program languages
119
Licenses
52
1-12 of 323
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
12759
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
3912
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
  • + 6
6
2766
Logo 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
19
2009
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
1837

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

KeY

KeY is a deductive verification system for Java programs

  • Deductive Verification
  • First-Order Logic
  • Formal Verification
  • + 3
  • Java
  • ANTLR
  • Perl
  • + 14
36
1067
Logo for OpenGeoSys

OpenGeoSys

OpenGeoSys (OGS) is a scientific open source project for the development of numerical methods for the simulation of thermo-hydro-mechanical-chemical (THMC) processes in porous and fractured media.

  • Earth & Environment
  • geotechnics
  • geothermal modeling
  • + 5
  • C++
  • AGS Script
  • TypeScript
  • + 2
69
795
Logo for JPlag

JPlag

JPlag is one of the most popular source code plagiarism detection systems worldwide.

  • Automated Obfuscation Attack
  • Collusion Detection
  • Data analysis
  • + 10
  • Java
  • ANTLR
  • Vue
  • + 16
9
764
Logo for CrystFEL

CrystFEL

CrystFEL is a suite of programs to process data from "serial crystallography" experiments.

  • crystallography
  • Matter
  • structural biology
  • + 2
  • C
  • Julia
  • Python
  • + 2
25
756
Logo for ETHOS.TSAM

ETHOS.TSAM

tsam is a python package which uses different machine learning algorithms for the aggregation of time series.

  • ESD
  • ESD - Topic 1
  • Python
5
647
Logo for PIConGPU

PIConGPU

PIConGPU is a relativistic Particle-in-Cell code running on graphic processing units as well as regular multi-core processors. It is Open Source und is freely available for download. It can be used to study plasmas with relativistic dynamics, solving the Maxwell-Vlasov system of equations.

  • C++
  • CPU
  • GPU
  • + 9
  • C++
  • Python
  • Shell
  • + 5
11
634