All software
ELECTRODE
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.
- Constant Potential Method
- Electrochemistry
- Molecular Dynamics
- C++
- Tcl
- C
- + 26
Independent Parallel Particle Layer (IPPL)
IPPL is a C++ library to develop performance portable code for fully Eulerian, Lagrangian or hybrid Eulerian-Lagrangian methods. IPPL supports simulations in one to six dimensions, mixed precision, and asynchronous execution in different execution spaces (e.g. CPUs and GPUs).
- Computational Fluid Dynamics
- GPU
- High performance computing
- + 5
- C++
- CMake
- Shell
- + 3
mallocMC
This project provides a framework for fast memory managers on many core accelerators. It is based on alpaka to run on many different accelerators and implements the ScatterAlloc algorithm.
- CUDA
- heterogeneous computing
- High performance computing
- + 2
- C++
- CMake
- Cuda
- + 1
SMG2S
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.
- CPU
- High performance computing
- Matrix Computation
- + 1
- C++
- Python
- CMake
- + 1
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
- + 11
cnpy++
cnpy++ is a C++17 library that allows to read and write NumPy data files (.npy and .npz). It is designed in a way to integrate well into the modern C++ ecosystem and it provides features not available in any similar C++/npy library.
- data managment
- C++
- CMake
- C
KaRRi - Karlsruhe Rapid Ridesharing
KaRRi is a state-of-the-art dispatcher for the dynamic taxi sharing problem with meeting points. KaRRi utilizes highly engineered many-to-many shortest path queries to compute optimal assignments of riders to vehicles and according meeting points within milliseconds.
- algorithm engineering
- algorithms
- Future Mobility
- + 11
- C++
- CMake
- Shell
- + 3
RAYX
Optical Simulation Software for Synchrotron Radiation
- C++
- open source
- python
- + 4
- C++
- Python
- CSS
- + 8
2x2, 3x3 and nxn Space-Filling Curves
Implementation of all possible forms of 2x2 and 3x3 space-filling curves, and nxn curves expanded from any specific level-1 units. It also implements the H-curve and the three-dimensional Hilbert curve.
- Data analysis
- Data Visualization
- open source
- R
- C++
- C
Arbor
Arbor is a high-performance library for computational neuroscience simulations with multi-compartment, morphologically-detailed cells, from single cell models to very large networks. Arbor is written from the ground up to help neuroscientists effectively use contemporary and future HPC systems.
- GPU
- High performance computing
- Neural network
- + 4
- C++
- AGS Script
- Python
- + 7
cobrar
Constraint-based reconstruction and analysis (COBRA) of metabolic networks in R
- Metabolism
- R
- R
- C++
- M4
- + 2
cuda_memtest
Tests GPU memory for hardware errors and soft errors using NVIDIA's CUDA or AMD's HIP.
- C++
- CUDA
- High performance computing
- + 1
- C++
- CMake
- C
- + 1