All software
react-search-component
All-in-one component for rendering an elastic search UI for searching anything. Built-in support for visualizing related items in a graph and resolving unique identifiers. Initially built for searching Fair-DOs.
- component
- data
- elastic
- + 14
- TypeScript
- CSS
- MDX
- + 1
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
- Vue
- TypeScript
- + 2
spatial.IO
An integrated cloud-ready geospatial data management system.
- data managment
- Earth & Environment
- geospatial data
- Python
- Vue
- TypeScript
- + 2
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
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