All software
1Filter
Mentions
Keywords
98
Program languages
45
Licenses
8
12
13-16 of 16
Sensor Management System
The Sensor Management System (SMS) allows the comprehensive acquisition, administration and export of meta data of platforms, sensors and measurement configurations by stations and campaigns operated in the Helmholtz research field Earth & Environment.
- catalogue
- data managment
- Earth & Environment
- + 4
- Python
- TypeScript
- Vue
- + 2
21
0
spatial.IO
An integrated cloud-ready geospatial data management system.
- data managment
- Earth & Environment
- geospatial data
- Python
- Vue
- TypeScript
- + 2
22
0
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
0
0
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
0
0