Software

KeY

KE

KeY is a deductive verification system for Java programs

Updated 2 weeks ago
46 16

CADET

CA

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.

Updated 2 months ago
41 5

NEST

NE

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.

Updated 4 weeks ago
26

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

Elephant

EL

Elephant (Electrophysiology Analysis Toolkit) is an open-source, community centered library for the analysis of electrophysiological data in the Python programming language.

Updated 4 days ago
16

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

FairMQ

FA

FairMQ is designed to help implement large-scale data processing workflows needed in next-generation particle physics experiments.

Updated 1 month ago
8 18

JUBE

JU

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.

Updated 1 month ago
3 3

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

SMG2S

SM

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.

Updated 2 months ago
2 2