All software
Mallob
Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving
- automated reasoning
- High performance computing
- job scheduling
- + 2
- C++
- SMT
- Shell
- + 4
ChASE
ChASE is a modern and scalable library to solve dense Hermitian (Symmetric) algebraic eigenvalue problems based on a spectral polynomial filter. The library is fully parallelized, and is particularly effective for sequences of eigenproblems as they often arise in electronic structure theory.
- C++
- Eigensolver
- GPU
- + 6
- C++
- Cuda
- CMake
- + 6
Representation of Protein Entities (RoPE)
RoPE clusters related protein structures on torsion angles to derive an interpretable, mathematical conformational space of that protein, revealing relevant protein dynamics.
- C++
- Data analysis
- Data Visualization
- + 4
- C++
- C
- GLSL
- + 4
TetraX
TetraX is a package for finite-element-method (FEM) micromagnetic modeling with the aim of providing user-friendly and versatile micromagnetic workflows. Among other features, it allows to efficiently calculate spin-wave spectra in different magnetic systems of general geometries.
- finite-element-method
- magnetization dynamics
- micromagnetic modeling
- + 4
- Python
- C
- Cython
CUAS-MPI
CUAS-MPI is the MPI-parallel implementation of the confined-unconfined aquifer system model for subglacial hydrology. The model uses a single-layer equivalent porous medium approach and solves a two-dimensional Darcy-type groundwater flow equation.
- C++
- Earth & Environment
- FAIR Software
- + 4
- C++
- CMake
- C
- + 1
KaMinPar
Shared-Memory and Distributed-Memory Graph Partitioning
- Data analysis
- Graphs
- High performance computing
- + 3
- C++
- CMake
- Python
- + 4
Elephant
Elephant (Electrophysiology Analysis Toolkit) is an open-source, community centered library for the analysis of electrophysiological data in the Python programming language.
- data-analysis
- electrophysiology
- neurophysiology
- + 2
- Python
- C++
- Cuda
- + 1
cuBNM
A toolbox for efficient simulation of brain biophysical network models on GPUs
- Biophysical network modeling
- Brain Simulation
- GPU
- + 3
- C
- Python
- C++
- + 4
simona
This package implements infrastructures for ontology analysis by offering efficient data structures, fast ontology traversal methods, and elegant visualizations. It provides a robust toolbox supporting over 70 methods for semantic similarity analysis.
- Data analysis
- Data Visualization
- FAIR Data
- + 3
- R
- C++
- JavaScript
- + 3
FairMQ
FairMQ is designed to help implement large-scale data processing workflows needed in next-generation particle physics experiments.
- framework
- Matter
- workflow library
- C++
- CMake
- C
- + 2
GMGPolar
GMGPolar is a geometric multigrid solver using implicit extrapolation to raise the convergence order. It is based on meshes in tensor- or product-format. GMGPolar's focus applications are geometries that can be described by polar or curvilinear coordinates for which suited smoothing is available.
- Energy
- Geometric Multigrid
- High performance computing
- + 5
- C++
- Python
- Shell
- + 3
t8code
t8code (spoken as "tetcode") is a C/C++ library to manage parallel adaptive meshes with various element types. t8code uses a collection (a forest) of multiple connected adaptive space-trees in parallel and scales to at least one million MPI ranks and over 1 trillion mesh elements.
- data managment
- Data Visualization
- exascale
- + 3
- C++
- C
- CMake
- + 3