All software
JARDS
The Joint Application, Review, and Dispatch Service (JARDS) is a software for the management of allocation processes for High Performance Computing (HPC) resources. It is a web application based on PHP and JavaScript using open source libraries like Symfony, , jQuery, Bootstrap and DataTables.
- Application for computing time
- High performance computing
- Information
- + 1
jCubeR
Cube, which is used as performance report explorer for Scalasca and Score-P, is a generic tool for displaying a multi-dimensional performance space consisting of the dimensions (i) performance metric, (ii) call path, and (iii) system resource.
- High performance computing
- Information
- Performance Analysis
- + 2
JuKKR
The Korringa-Kohn-Rostoker (KKR) Greens function method is a highly accurate all-electron method to perform density functional theory calculations for the prediction of materials properties based on quantum mechanical simulations.
- CPU
- Density functional theory
- High performance computing
- + 5
- Fortran Free Form
- Fortran
- TeX
- + 2
Tamarin Prover
The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.
- Cryptographic Protocols
- Formal Verification
- Information
- Haskell
- Python
- JavaScript
- + 9
TrixiParticles.jl
Particle-based multiphysics simulations in Julia
- CFD
- Earth & Environment
- Information
- + 2
- Julia
UNICORE
UNICORE (UNiform Interface to COmputing REsources) provides tools and services for building federated systems, making high-performance computing and data resources accessible in a seamless and secure way for a wide variety of applications in intranets and the internet.
- High performance computing
- Information
- Supercomputing
- + 1