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
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
venco.py
A tool to derive battery electric vehicle energy demands from given trip data. venco.py provides normalized, aggregated electric vehicle fleet demand profiles for two cases: Uncontrolled charging and a technical (mobility-constrained) potential for controlled charging including vehicle-to-grid.
- electricity
- electric vehicles
- Flexibility
- + 2
- Python
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
calibr8
calibr8 is a Python toolbox for likelihood-based calibration modeling and Bayesian inference. It supports uni- and multivariate problems, continuous & discrete distributions and includes ready to use models for many non-linear problems. It integrates with PyMC for advanced Bayesian inference.
- Calibration
- Data analysis
- Earth & Environment
- + 4
- Jupyter Notebook
- Python
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
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
- + 5
Mallob
Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving
- automated reasoning
- High performance computing
- job scheduling
- + 2
- C++
- Shell
- Python
- + 4
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
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
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