All software
LiberTEM
LiberTEM is an open source platform for high-throughput distributed processing of large-scale binary data sets and live data streams using a stream-based programming model. The current focus is pixelated scanning transmission electron microscopy (4DSTEM) and scanning electron beam diffraction data.
- 4D STEM
- electron microscopy
- high-throughput
- + 3
- Python
- TypeScript
- JavaScript
- + 6
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
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
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
Mallob
Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving
- automated reasoning
- High performance computing
- job scheduling
- + 2
- C++
- Shell
- Python
- + 3
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
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
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
AWI GPT
Four tools - ClimSight, pangaeaGPT, AWI_chatbot, and CMIP6 search - use LLMs to enhance research and operations. pangaeaGPT aids dataset exploration, ClimSight provides location-specific climate insights, AWI_chatbot streamlines internal tasks at AWI, and CMIP6 search improves access to CMIP6 data.
- AWI Chatbot
- Climate
- ClimSight
- + 6