Ctrl K

Limited functionality: Your browser does not support JavaScript.

HIFIS Software Spotlights

Browse all Spotlights

All software

1Filter

Order by

Keywords

Program languages

Licenses

1-11 of 11

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

9328

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

2108

KeY

KeY is a deductive verification system for Java programs

Deductive Verification
First-Order Logic
Formal Verification
+ 3

Java
HTML
ANTLR
+ 14

1003

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

Axiom
Differential Dynamic Logic
Hybrid Systems
+ 3

Scala
JavaScript
Mathematica
+ 7

354

t8code

t8code (spoken as "tetcode") is a C/C++ library to manage parallel adaptive meshes with various element types. t8code uses a collection (a forest) of multiple connected adaptive space-trees in parallel and scales to at least one million MPI ranks and over 1 trillion mesh elements.

data managment
Data Visualization
exascale
+ 3

C++
C
Makefile
+ 7

ELECTRODE

ELECTRODE extends the atomistic simulation tool LAMMPS to model different types of electrochemical situations. Simulations are performed at constant potential or constant charge using different approaches to control potential or charge at the electrodes.

Constant Potential Method
Electrochemistry
Molecular Dynamics

C++
Tcl
Cuda
+ 24

Arbor

Arbor is a high-performance library for computational neuroscience simulations with multi-compartment, morphologically-detailed cells, from single cell models to very large networks. Arbor is written from the ground up to help neuroscientists effectively use contemporary and future HPC systems.

GPU
High performance computing
Neural network
+ 4

C++
AGS Script
Python
+ 7

JURI

JURI (Jülich Reporting Interface) provides a template-driven fully client-based web framework to visualise data lists and associated data graphs.

JavaScript
HTML
CSS
+ 5

LLview

LLview is a set of software components to monitor clusters that are controlled by a resource manager and a scheduler system.

High performance computing
hpc
monitoring
+ 2

Perl
Python
Shell

simona

This package implements infrastructures for ontology analysis by offering efficient data structures, fast ontology traversal methods, and elegant visualizations. It provides a robust toolbox supporting over 70 methods for semantic similarity analysis.

Data analysis
Data Visualization
FAIR Data
+ 3

R
C++
JavaScript
+ 3

TSMP

The Terrestrial Systems Modelling Platform (TSMP) is an open source framework implementing a scale-consistent, highly modular, massively parallel regional Earth system model. It represents transport and feedback processes of mass, energy and momentum across geo-ecosystem compartments and scales.

Earth & Environment

Fortran
Shell
C
+ 10