All software
CorC
With CorC, we implemented an IDE to create programs following the Correctness-by-Construction approach. Starting with an abstract specification, CorC supports CbC developers in refining a program by a sequence of refinement steps and in verifying the correctness of these refinements.
- Eclipse
- WebCorC
- Java
- ANTLR
Mallob
Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving
- automated reasoning
- High performance computing
- job scheduling
- + 2
- C++
- Shell
- Python
- + 3
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
CellRank
CellRank is a computational framework to study cellular fate decisions based on various types of single-cell genomics data. CellRank scales to large cell numbers, is fully compatible with the scverse ecosystem, and is easy to use.
- Data analysis
- fate mapping
- fate prediction
- + 7
- Python
Stable-Baselines3
Stable Baselines3 (SB3) is a set of reliable implementations of reinforcement learning algorithms in PyTorch.
- Machine learning
- robotics
- Python
- Shell
- Makefile
- + 1
perun
perun is a Python package that calculates the energy consumption of Python scripts by sampling usage statistics from hardware interfaces. It can handle MPI applications, gather data from hundreds of nodes, and accumulate it efficiently.
- Earth & Environment
- Energy
- FAIR Software
- + 2
- Python
LaPy
LaPy is an open-source Python package for differential geometry on triangle and tetrahedra meshes. It includes an FEM solver to estimate the Laplace, Poisson or Heat equations, also the computations of gradients, divergence, mean-curvature flow, conformal mappings, geodesics, ShapeDNA and more.
- computational geometry
- FEM
- Laplace
- + 4
- Python
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
- Python
- Jupyter Notebook
- C++
- + 2
ARTIST
AI-enhanced differentiable Ray Tracer for Irradiation Prediction in Solar Tower Digital Twins
- Concentrated Solar Energy
- Differentiable Ray Tracing
- digital twin
- + 5
- Python
- TeX
Propulate
An asynchronous evolutionary optimization algorithm and software package for global optimization and hyperparameter search on high-performance computers.
- Aeronautics, Space and Transport
- Earth & Environment
- Energy
- + 9
- Python
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