Ctrl K
HIFIS Software Spotlights

All software

1Filter
Keywords
555
Program languages
121
Licenses
38
1-12 of 209
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
  • + 13
4
13984
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
  • + 9
8
4552
Logo for SUMO

SUMO

Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.

  • Aeronautics, Space and Transport
  • Modelling
  • open source
  • + 3
  • Python
  • C++
  • C
  • + 14
8
3434
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
  • Shell
  • + 6
6
2976
Logo for ICON

ICON

ICON (Icosahedral Nonhydrostatic) is a flexible, scalable, high-performance modelling framework for weather, climate and environmental prediction . It is collaboratively developed and maintained by the ICON partnership (MPI-M, DWD, DKRZ, C2SM, KIT)

  • Aerosol Research
  • Atmospheric science
  • Climate
  • + 4
  • Fortran Free Form
  • Shell
  • NCL
  • + 2
5
1248
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
1096
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
783
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
777
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
  • + 6
11
679
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
  • + 11
11
609
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
  • + 2
61
563
Logo for NEST

NEST

NEST is a simulator for spiking neuronal networks. A well tested and efficient tool, NEST works on your laptop and also on the world’s largest supercomputers to study behaviour of large networks of neurons.

  • Computational neuroscience
  • exascale
  • Modeling
  • + 3
  • C++
  • Python
  • CMake
  • + 3
119
542