Software

KeY

KE

KeY is a deductive verification system for Java programs

Updated 2 weeks ago
46 16

Score-P

SC

The Score-P measurement infrastructure is a highly scalable and easy-to-use tool suite for profiling and event tracing of HPC applications. It offers the user a maximum of convenience by supporting a number of analysis tools like Scalasca, Vampir, Tau, and Extra-P while being open for other tools.

Updated 2 months ago
19 37

PEPC

PE

The PEPC project (Pretty Efficient Parallel Coulomb Solver) is a public tree code that has been developed at Jülich Supercomputing Centre since the early 2000s. Our code is a non-recursive version of the Barnes-Hut algorithm, using a level-by-level approach to both tree construction and traversals.

Updated 2 days ago
10 5

JURASSIC

JU

The Juelich Rapid Spectral Simulation Code (JURASSIC) is a fast infrared radiative transfer model for the analysis of atmospheric remote sensing measurements.

Updated 2 months ago
3 2

ELECTRODE

EL

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.

Updated 1 month ago
2 4

MPTRAC

MP

Massive-Parallel Trajectory Calculations (MPTRAC) is a Lagrangian particle dispersion model for the analysis of atmospheric transport processes in the free troposphere and stratosphere.

Updated 2 months ago
2 4

WRaINfo - An open source library for weather radar information

WR

WRaINfo is a software for real-time weather radar data processing. It is specifically designed for X-band weather radars of FURUNO. The software was developed by Helmholtz Innovation Lab FERN.Lab (GFZ Potsdam) and is distributed under Apache 2.0 license.

Updated 6 months ago
4

SpecHomo

SP

SpecHomo is a Python package for spectral homogenization of multispectral satellite data, i.e., for the transformation of the spectral information of one sensor into the spectral domain of another one.

Updated 2 weeks ago
1

AROSICS

AR

AROSICS is an automated and robust open-source image co-registration software for multi-sensor satellite data.

Updated 2 weeks ago
1

GR Framework

GR

GR is a universal framework for cross-platform visualization applications. Applications range from publication quality 2D graphs to the representation of complex 3D scenes. It can be used in imperative programming systems or modern object-oriented systems, in particular those based on GUI toolkits.

Updated 2 months ago

Tamarin Prover

TA

The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.

Updated 3 months ago

FormatFuzzer

FO

FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.

Updated 3 months ago