Ctrl K

Limited functionality: Your browser does not support JavaScript.

HIFIS Software Spotlights

Browse all Spotlights

All software

1Filter

Order by

Keywords

550

Program languages

105

Licenses

Items

1-12 of 243

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

10069

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

2550

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

2250

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

1689

KeY

KeY is a deductive verification system for Java programs

Deductive Verification
First-Order Logic
Formal Verification
+ 3

Java
HTML
ANTLR
+ 14

1017

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

887

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
Roff
+ 2

725

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 source code plagiarism detection systems worldwide.

Automated Obfuscation Attack
Collusion Detection
Data analysis
+ 9

Java
ANTLR
Vue
+ 16

539

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++
Python
Shell
+ 5

530

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

494

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

491