All software
TiGL
TiGL is a parametric aircraft geometry modeler. Using the CPACS file format and TiGL, you can model a wide range of aircraft, spacecraft and rotorcraft.
- CAD
- C++
- C
- CMake
- + 7
Medical Imaging Interaction Toolkit (MITK)
A free and open-source software for the development of interactive medical image processing applications. MITK provides a powerful and free application called the MITK Workbench, which allows users to view, process, and segment medical images.
- Artificial Intelligence
- C++
- Data Visualization
- + 7
- C++
- CMake
- C
- + 8
LYNX
LYNX (Lithosphere dYnamics Numerical toolboX) is a novel numerical simulator for modelling thermo-poromechanical coupled processes driving the deformation dynamics of the lithosphere.
- damage rheology and porosity feedback
- Earth & Environment
- Explicit visco-elasto-plastic rheology
- + 1
- C++
- Assembly
- Makefile
- + 4
XCASCADE (3D)
XCASCADE (3D) software models electron cascades in solids induced by X-ray impact or by an impact of high-energy electron in non-relativistic energy regime. The code can provide temporal and spatial characteristics of the excited electrons, such as their transient density and energy.
- Electron cascading
- Modeling
- Monte Carlo simulation
- + 3
- Fortran Free Form
- Makefile
- Shell
Album
A Platform for Replicable Science. Album is an open-source tool that simplifies sharing and running scientific workflows. With isolated environments, metadata for easy discovery, and cross-platform support, it ensures replicability. Designed for collaboration, it’s adopted by leading researchers.
- GUI
- Interactivity
- open source
- + 2
- Python
- Dockerfile
- Shell
MSS - Mission Support System
For discussion of the possibilites of research flights, the Mission Support System (MSS) was developed. This software helps to review a big amount of metereological and model data by viewing the forecasted parameters of interest along possible regions of a proposed flight path.
- Data Visualization
- Earth & Environment
- Flight Planning
- + 2
- Python
- HTML
- Shell
- + 1
DataSAIL
DataSAIL is an open-source software tool that splits machine learning datasets while minimizing Information Leakage. It formulates the splitting of a dataset as a constrained minimization problem and optimizes the data split towards an objective function that accounts for information leakage.
- Convex Optimization
- data management
- Data Splitting
- + 3
- Python
- Smarty
- Shell
Heat
Heat is a flexible and seamless open-source software for high performance data analytics and machine learning. It provides highly optimized algorithms and data structures for tensor computations using CPUs, GPUs and distributed cluster systems on top of MPI.
- CPU
- Data analysis
- Earth & Environment
- + 5
- Python
- Shell
- Dockerfile
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
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
Mallob
Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving
- automated reasoning
- High performance computing
- job scheduling
- + 2
- C++
- Shell
- Python
- + 4