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
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
TSMP
The Terrestrial Systems Modelling Platform (TSMP) is an open source framework implementing a scale-consistent, highly modular, massively parallel regional Earth system model. It represents transport and feedback processes of mass, energy and momentum across geo-ecosystem compartments and scales.
- Earth & Environment
- Fortran
- Shell
- C
- + 10
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