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
cppTango
Tango Distributed Control System - C++ library TANGO is an object-oriented distributed control system. In TANGO all objects are representations of devices, which can be on the same computer or distributed over a network. Communication between devices can be synchronous, asynchronous or event driven.
- C++
- DCS - Distributed Control System
- SCADA - Supervisory Control and Data Acquisition
- C++
- CMake
- Python
- + 2
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
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
CosmoScout VR
CosmoScout VR is an open source virtual Solar System, primarily aimed at interactive visualization of huge remote sensing products in conjunction with large-scale simulation data.
- Aeronautics, Space and Transport
- Data Visualization
- solar system
- + 1
- C++
- GLSL
- JavaScript
- + 7
KaMPIng - Karlsruhe MPI next generation
KaMPIng is a flexible and (near) zero-overhead C++ wrapper for MPI, covering the whole range of abstraction levels from low-level MPI calls to convenient STL-style bindings. This allows for both rapid prototyping and highly engineered distributed algorithms.
- C++
- High performance computing
- MPI
- + 1
- C++
- CMake
- Shell
- + 1
KaMinPar
Shared-Memory and Distributed-Memory Graph Partitioning
- Data analysis
- Graphs
- High performance computing
- + 3
- C++
- CMake
- Python
- + 4
pasta::bit_vector
This header-only library contains a highly tuned (uncompressed) bit vector implementation with multiple space efficient rank and select support data structures. Our fastest rank and select support has a space overhead of only ~3.51% and makes use of data level parallelism via SIMD instructions.
- C++
- CMake
- Python
ISAAC
In Situ Animation of Accelerated Computations
- C++
- CUDA
- Data Visualization
- + 4
- C++
- HTML
- 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
JuPedSim
JuPedSim is a framework designed to support students and researchers in investigating pedestrian dynamics and conducting research related to the development and validation of new models or model features. It enables the analysis of experiments and facilitates the proper visualization of results.
- Information
- Modeling
- open source
- + 3
- Python
- C++
- Jupyter Notebook
- + 3