KeY
KeY is a deductive verification system for Java programs
KeY is a deductive verification system for Java programs
CADET is a fast and accurate solver for a comprehensive model family. Typical applications include chromatography, filtration, crystallization, and fermentation. The models are solved with state-of-the-art mathematical algorithms and scientific computing techniques.
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.
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.
Elephant (Electrophysiology Analysis Toolkit) is an open-source, community centered library for the analysis of electrophysiological data in the Python programming language.
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.
FairMQ is designed to help implement large-scale data processing workflows needed in next-generation particle physics experiments.
JUBE is a generic, lightweight, configurable environment to run, monitor and analyse application execution in a systematic way. This software is commonly used to execute benchmarks and complex workflows on High Performance Computers, but is not limited to these systems.
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.
SMG2S (Sparse Matrix Generator with Given Spectrum) is able to generate large-scale non-Hermitian and non-Symmetric matrices in parallel with the spectral distribution functions or eigenvalues given by users, and the spectrum of generated matrix is the same as the one specified by the users.