Ctrl K

Limited functionality: Your browser does not support JavaScript.

HIFIS Software Spotlights

Browse all Spotlights

All software

1Filter

Order by

Keywords

484

Program languages

Licenses

1-12 of 200

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

1947

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

1543

KeY

KeY is a deductive verification system for Java programs

Deductive Verification
First-Order Logic
Formal Verification
+ 3

Java
HTML
ANTLR
+ 14

989

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

753

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

JPlag

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

Automated Obfuscation Attack
Collusion Detection
Data analysis
+ 9

Java
ANTLR
Rust
+ 15

529

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
Correction
+ 14

C++
Python
CMake
+ 2

456

CrystFEL

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

crystallography
Matter
structural biology
+ 2

C
Julia
Python
+ 2

337

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

330

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
+ 4

225

MIRP

MIRP is a python package for quantitative analysis of medical images. It focuses on processing images for integration with radiomics workflows. These workflows either use quantitative features computed using MIRP, or directly use MIRP to process images as input for deep learning models.

Medical Image Processing
python
radiomics

Python
Jupyter Notebook
R
+ 2

199

CoMOLA

CoMOLA is a python tool for optimal spatial allocation of land uses. The tool creates optimal land-use maps for up to four objectives. It takes into account constraints and can be coupled with external models to evaluate different objectives (e.g. ecosystem services/biodiversity models)

land-use allocation
multi-objective optimization
NSGA-II

Python
R

177