Sign in
Ctrl K
HIFIS Software Spotlights
Browse all Spotlights

All software

0Filters
Keywords
604
Program languages
111
Licenses
56
1-12 of 262
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
1913
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
1512
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
    981
    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
      731
      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
      724
      Cover image 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
      • Jupyter Notebook
      • C++
      • AGS Script
      • + 2
      10
      617
      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 JPlag

      JPlag

      JPlag is one of the most popular software plagiarism detectors worldwide.

      • Automated Obfuscation Attack
      • Collusion Detection
      • Data analysis
      • + 9
      • Java
      • ANTLR
      • Rust
      • + 15
      7
      522
      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
      459
      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.

      • Calibration
      • Correction
      • Crowd
      • + 12
      • C++
      • Python
      • CMake
      • + 2
      5
      452
      Cover image for IGMAS+

      IGMAS+

      Software combining 3-D forward and inverse modeling, interactive visualization and interdisciplinary interpretation of potential fields and their applications under geophysical and geological data constrains.

      • 3D
      • Cross-platform
      • Earth & Environment
      • + 8
        5
        413