KeY
KeY is a deductive verification system for Java programs
KeY is a deductive verification system for Java programs
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.
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.
The Juelich Rapid Spectral Simulation Code (JURASSIC) is a fast infrared radiative transfer model for the analysis of atmospheric remote sensing measurements.
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.
Massive-Parallel Trajectory Calculations (MPTRAC) is a Lagrangian particle dispersion model for the analysis of atmospheric transport processes in the free troposphere and stratosphere.
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.
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.
AROSICS is an automated and robust open-source image co-registration software for multi-sensor satellite data.
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.
The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.
FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.