All software
Mallob
Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving
- automated reasoning
- High performance computing
- job scheduling
- + 2
- C++
- Shell
- Python
- + 4
pySDC
pySDC is a Python implementation of the spectral deferred correction approach and its flavors, esp. the parallel-in-time extension PFASST. It is intended for rapid prototyping and educational purposes. New ideas can be tested and first toy problems can be easily implemented.
- collocation
- high-performance computing
- Information
- + 4
- Jupyter Notebook
- Python
- C++
- + 2
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
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
SUMO
Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.
- Aeronautics, Space and Transport
- Modelling
- open source
- + 2
- C++
- Python
- C
- + 13
KaMinPar
Shared-Memory and Distributed-Memory Graph Partitioning
- Data analysis
- Graphs
- High performance computing
- + 3
- C++
- CMake
- Python
- + 5
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
DL4PuDe
DL4PuDe is an AI-based framework that automatically detects pushing behavior in crowd videos, leading to a better understanding of pushing dynamics. This knowledge is crucial for better crowd management strategies and better design of public places, making public places more comfortable and safer.
- Artificial Intelligence
- Crowd Management
- Deep Learning
- + 3
- Jupyter Notebook
- Python
- Cuda
- + 2
Eventdisplay
Eventdisplay is a reconstruction and analysis pipeline for data of Imaging Atmospheric Cherenkov Telescopes (IACT).
- Astronomy
- Data analysis
- gamma-ray telescopes
- C++
- C
- Makefile
- + 3
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