All software
LiSSA
LiSSA: A Framework for Generic Traceability Link Recovery In software development and maintenance, numerous artifacts such as requirements and code are produced. LiSSA aims to provide a generic solution for Traceability Link Recovery (TLR) by utilizing LLMs in combination with RAG techniques.
- Information Retrieval
- Large Language Model (LLM)
- Retrieval Augmented Generation (RAG)
- + 1
- Java
- Python
Mallob
Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving
- automated reasoning
- High performance computing
- job scheduling
- + 2
- C++
- SMT
- Shell
- + 4
cppTango
Tango Distributed Control System - C++ library TANGO is an object-oriented distributed control system. In TANGO all objects are representations of devices, which can be on the same computer or distributed over a network. Communication between devices can be synchronous, asynchronous or event driven.
- C++
- DCS - Distributed Control System
- SCADA - Supervisory Control and Data Acquisition
- C++
- CMake
- Python
- + 2
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
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
- + 6
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
Representation of Protein Entities (RoPE)
RoPE clusters related protein structures on torsion angles to derive an interpretable, mathematical conformational space of that protein, revealing relevant protein dynamics.
- C++
- Data analysis
- Data Visualization
- + 4
- C++
- C
- GLSL
- + 4
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
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
Radiative forcing of hypersonic aircraft trajectories
The software quantifies climate impact of hypersonic aircraft trajectories as a number and within seconds instead of very long numerical simulations that produce Petabytes of data. The input requires water vapor, hydrogen and nitrogen oxide emission data along flight trajectories.
- airclim
- aircraft
- atmosphere
- + 10
- 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