All software
Automating Requirements and Documentation Comprehension (ARDoCo)
Automating Requirements and Documentation Comprehension (ARDoCo) is a framework to connect architecture documentation, requirements, and models while identifying missing or deviating elements (inconsistencies). An element can be any representable item of the model like a software component.
- Consistency
- Documentation
- Inconsistency Detection
- + 6
- Java
- ANTLR
- Markdown
- + 3
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
- Fortran
- + 5
Mallob
Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving
- automated reasoning
- High performance computing
- job scheduling
- + 2
- C++
- Shell
- Python
- + 4
Stable-Baselines3
Stable Baselines3 (SB3) is a set of reliable implementations of reinforcement learning algorithms in PyTorch.
- Machine learning
- robotics
- Python
- Shell
- Makefile
- + 1
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
AiiDA-KKR
This AiiDA plugin provides high-throughput automation and FAIR data management for the Jülich KKR codes.
- Data Visualization
- FAIR Data
- Information
- + 4
- Python
- Shell
- OpenEdge ABL
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
deploy2zenodo
deploy2zenodo is a script to deploy your data to zenodo. You can use it in a CI pipeline as an automatic workflow. Environmental variables allow very flexible use. Depending on the flags, the data can be curated before deployment in a merge request, in the zenodo web interface or not curated at all.
- automatic workflow
- CI pipeline
- deploy
- + 7
- Shell
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
- + 14
KaMinPar
Shared-Memory and Distributed-Memory Graph Partitioning
- Data analysis
- Graphs
- High performance computing
- + 3
- C++
- CMake
- Python
- + 4
ESM-Tools
ESM-Tools is a toolbox to assist you in running climate and Earth System Model simulations.
- Earth & Environment
- Earth System Modelling
- FAIR Software
- + 11
- Shell
- Python
- Fortran
- + 5
Global Benchmark Database (GBD)
GBD is a comprehensive suite of tools for provisioning and sustainably maintaining benchmark instances and their metadata for empirical research on hard algorithmic problem classes.
- Data analysis
- FAIR Software
- Information
- + 4
- Python
- JavaScript
- HTML
- + 2