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
- + 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
- Markdown
- ANTLR
- + 3
MeshIt
The tool MeshIT generates quality tetrahedral meshes based on structural geological information. It has been developed at the GFZ Potsdam and some extensions were later added by PERFACCT. All procedures are fully automatized and require at least scattered data points as input.
- 3D meshing
- Delaunay tetrahedralization
- Delaunay triangulation
- + 2
- C++
- C
- QMake
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
HilbertCurve
Hilbert curve is a type of space-filling curves that fold one dimensional axis into a two dimensional space, but with still preserves the locality. This package aims to provide an easy and flexible way to visualize data through Hilbert curve.
- Data analysis
- Data Science
- Data Visualization
- + 3
- R
- C++
- CSS
- + 1
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
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
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
CUAS-MPI
CUAS-MPI is the MPI-parallel implementation of the confined-unconfined aquifer system model for subglacial hydrology. The model uses a single-layer equivalent porous medium approach and solves a two-dimensional Darcy-type groundwater flow equation.
- C++
- Earth & Environment
- FAIR Software
- + 4
- C++
- CMake
- C
- + 1
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