All software
Tamarin Prover
The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.
- Cryptographic Protocols
- Formal Verification
- Information
- Haskell
- Python
- JavaScript
- + 11
Terok
An open, Podman-native runtime for AI coding agents you can let off the leash — without giving them the leash to your machine. Terok runs each agent task inside a hardened, rootless container and provides a number of additional safety and security functionalities as well as convenience features.
- Agentic AI
- Coding
- Containers
- + 2
- Python
- Shell
- Makefile
- + 2
time.IO
A fully integrated and comprehensive timeseries management system
- data managment
- Earth & Environment
- Time series
- Python
- Shell
- PLpgSQL
- + 2
TiXI
TiXI is a fast and simple XML interface library and could be used from applications written in C, C++, Fortran, JAVA and Python.
- xml
- C++
- C
- Python
- + 6
TREAMS
TREAMS is an open-source program to perform T-matrix-based scattering calculations for nanophotonic systems. It focuses on efficiently solving the interaction in 1D, 2D, and 3D lattices of complex unit cells using quickly convergent lattice sums. It also solves the interaction in finite clusters.
- Python
- Cython
- Makefile
TRIDEC Cloud
TRIDEC Cloud serves functionality to handle and share threat specific information. It integrates services for obtaining event related geo-data, e.g. of earthquakes, for automated computations, e.g. of tsunami propagations, for mapping, summarizing, and communicating hazard specific data.
- early warning
- Earth & Environment
- GPU
- + 6
- Python
- Vue
- Shell
- + 6
ukis-csmask
UKIS Cloud Shadow MASK (ukis-csmask) package masks clouds and cloud shadows in Sentinel-2, Landsat-9, Landsat-8, Landsat-7 and Landsat-5 images. Masking is performed with a pre-trained convolution neural network. It is fast and works directly on Level-1C data (no atmospheric correction required).
- Earth & Environment
- Image processing
- python
- + 1
- Python
UTILE-Oxy
Automated workflow using deep learning for the analysis of videos containing oxygen bubbles in PEM electrolyzers: 1. preparing annotated dataset and training models to conduct semantic seg- mentation of bubbles and 2. automating the extraction of bubble properties for further distribution analysis.
- bubbles
- Data analysis
- Data Visualization
- + 7
- Python
- Jupyter Notebook
VoxTell
VoxTell is a vision–language model for text-driven 3D medical image segmentation, enabling analysis of anatomical structures and pathologies across CT, MRI, and PET, including open-set and clinically described targets beyond predefined label sets.
- Health
- Image processing
- Machine learning
- + 2
- Python
Watts
WaTTS allows using any legacy service with federated identities, such as eduGain or google.
- AAI
- OIDC
- Token Translation
- Erlang
- HTML
- Elm
- + 6
WRaINfo - An open source library for weather radar information
WRaINfo is a software for real-time weather radar data processing. It is specifically designed for X-band weather radars of FURUNO. The software was developed by Helmholtz Innovation Lab FERN.Lab (GFZ Potsdam) and is distributed under Apache 2.0 license.
- attenuation correction
- clutter detection
- precipitation estimation
- + 4
- Python
- Makefile
- Shell