Sign in
Ctrl K
HIFIS Software Spotlights
Browse all Spotlights

All software

1Filter
Keywords
207
Program languages
74
Licenses
24
1-12 of 58
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 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 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 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 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
Cover image 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
  • C++
  • M4Sugar
  • + 2
39
467
Cover image for PeTrack

PeTrack

PeTrack (Pedestrian Tracking) automatically extracts accurate pedestrian trajectories from video recordings (calibration, recognition, tracking). Individual codes enable personalized trajectories with static information of each participant. With a stereo camera also markerless tracking is possible.

  • Annotation
  • Calibration
  • Computer Vision
  • + 17
  • C++
  • Python
  • CMake
  • + 2
16
464
Cover image for KeYmaera X

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

  • Axiom
  • Differential Dynamic Logic
  • Hybrid Systems
  • + 3
  • Scala
  • JavaScript
  • Mathematica
  • + 7
16
353
Cover image 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
341
Cover image for PDAF

PDAF

PDAF - the Parallel Data Assimilation Framework is a software framework for interdisciplinary 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
  • Shell
  • Makefile
  • + 4
5
334
Cover image 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
  • + 1
15
271
Cover image 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
217