Ctrl K

Limited functionality: Your browser does not support JavaScript.

HIFIS Software Spotlights

Browse all Spotlights

All software

1Filter

Order by

Keywords

352

Program languages

Licenses

1-12 of 126

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

9313

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

2098

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

1983

KeY

KeY is a deductive verification system for Java programs

Deductive Verification
First-Order Logic
Formal Verification
+ 3

Java
HTML
ANTLR
+ 14

1000

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

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

467

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

Axiom
Differential Dynamic Logic
Hybrid Systems
+ 3

Scala
JavaScript
Mathematica
+ 7

353

CrystFEL

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

crystallography
Matter
structural biology
+ 2

C
Julia
Python
+ 2

341

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

334

FastSurfer

FastSurfer is a fast and accurate deep-learning pipeline for the analysis of human brain MRI. FastSurfer provides a fully compatible FreeSurfer alternative for volumetric and surface-based thickness analysis, also supporting sub-mm resolutions, and sub-segmentation of neuroanatomical structures.

Data analysis
Deep Learning
Image processing
+ 3

Jupyter Notebook
Python
Shell
+ 1

259

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

230

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

217